Beruflich Dokumente
Kultur Dokumente
Concepto de Lógica.
La lógica matemática es una parte de la lógica y la matemática, que consiste en el
estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas
de la matemática y de las ciencias. La lógica matemática tiene estrechas
conexiones con las ciencias de la computación y la lógica filosófica.
Lógica.
Etimología de Lógica.
El término „lógica‟ tiene su origen en el vocablo latín “logĭca”, que a su vez deriva
del griego logikós (de logos, “razón” o “estudio”). por lo tanto, “lógica” significa lo
relativo al logos. (1)
El vocablo logos se utilizó por primera vez en las teorías de Pitágoras y Heráclito
con varios significados: palabra, medida, pero, sobre todo, razón y pensamiento.
Aristóteles, fundador de la lógica, no utilizó esta palabra, sino el término órganon,
que significa instrumento. (1)
Precursores:
Aristóteles (384-332 a.c.).
Platón (427-347 a.c.).
Sócrates (470-399 a.c.).
Parménides.
Zenón.
Precursores:
Gottfried Wilhelm.
Von Leibniz.
Leonhard Euler.
René Descartes.
Isaac Newton.
George Boole.
Augustus de Morgan.
Proposición Lógica.
Ejemplos:
Clases de Proposiciones.
Ejemplo:
Ejemplo:
Ejemplo:
- El río amazona es más caudaloso que el río moche.
- Carolina es más joven que Andrea.
- Diego y Enzo son hermanos y viven en Francia.
Ejemplo:
-Si el Sol es el centro del Sistema Planetario Solar, entonces la Tierra gira sobre
su eje.
Ejemplo:
1.- La Negación. Una proposición negativa de otra afirmativa “p” se denota por
lee “no p” o “no es cierto que p”.
Ejemplo:
Ejemplos:
o el agua tiene nitrógeno.
Su tabla de verdad:
Ejemplos:
-O la Luna es un satélite o Marte es el centro del Sistema Planetario.
-O bien siete es un número primo o bien es un número par.
-O Lima es la capital de Quito o París está en Francia.
Su Tabla de Verdad:
5.- La Condicional. Su símbolo “p q”, se lee “si p entonces q”, donde p es el
antecedente o condición y q es el consecuente o conclusión.
Ejemplos:
Ejemplos:
Hace sombra en el patio, si y solo si no hay sol.
Andrea es estudiosa, si y solo si obtiene notas sobresalientes.
Los hombres son mortales, si y solo si son vertebrados.
Su tabla de verdad:
Sistemas lógicos.
Metalógica.
Leopold Löwenheim (1915) y Thoralf Skolem (1920) formularon el llamado
teorema de Löwenheim-Skolem, que afirma que cualquier sistema axiomático
basado en la lógica de primer orden no puede controlar la cardinalidad de las
estructuras no finitas que satisfacen los axiomas de dicho sistema. Skolem
comprendió que este teorema podría aplicarse para las formalizaciones de primer
orden de la teoría de conjuntos, siendo dicha formalización numerable, existiría un
modelo numerable para dicha teoría aun cuando la teoría afirma que existen
conjuntos no contables. Este resultado contraintuitivo es la conocida paradoja de
Skolem.
Clases de falacias:
a) Las falacias lógicas, que están constituidas por los errores del pensamiento.
b) Las falacias emocionales producidas por factores emotivos que influyen en el
pensar.
Tipos de falacias:
1.- Ignorancia de causa, este tipo de falacia consiste en dar como causa de un
hecho algo que no tiene nada que ver; o en confundir la sucesión de hechos con la
causa.
El rápido crecimiento de la fauna marina se debe al intenso viento que reciben, por
eso es conveniente que exista mucho viento.
2.- Enumeración imperfecta, Este tipo de falacia se produce por llegar a una
conclusión sin tomar toda la información completa, omitiendo una o varias partes
de la misma.
Ejemplo de falacia por enumeración imperfecta:
Si agregamos café y azúcar tendremos café con leche. (Se llega a la conclusión
sin tomar en cuenta la leche)
6.- Petición de principio consiste en tomar por concedido lo que se necesita aún
demostrar.
Ejemplo de falacia:
Ejemplo de falacia:
El mp3 player usa audífonos, por eso te lo prestará con todo. (Se da por sentado
la inclusión por mera presunción).
Es hijo de negro y blanca, el chico nació negro (No se sabe el color, pues
dependerá del gen dominante).
Paradojas.
Paradoja Número 1:
Sean dos números iguales a y b con "a" elemento de los Naturales y "b" también
elemento de los Naturales y distintos de cero, escribiremos:
a=b
Multipilicando ambos lados de ésta igualdad por el mismo número "a" (lo cuál es
absolutamente válido) obtenemos:
a² = ab
Ahora restamos de ambos lados el mismo número " b² " (lo cuál es absolutamente
válido) tenemos:
a² - b² = ab - b²
(a + b)(a - b) = b(a - b)
a+b=b
b+b=b
2b = b
2 = 1 ¿?
¿Donde esta el error? El mismo radica en que si asumimos al inicio que a y b son
elementos del conjunto de los naturales y ambos distintos de cero, además que a
= b entonces a - b = 0 y la división por cero NO ESTA PERMITIDA de allí que
evidentemente 2 no es igual a 1 █
Paradoja Número 2:
Sea el triángulo ABC y los puntos M, N, P los puntos medios de sus lados.
Tracemos las rectas MP y NP:
Por haberse formado un paralelogramo MPNC resulta:
AN + NP + PM + MB =AC + CB
AB = AC + CB ¿?
Esta paradoja se explica por la falsa interpretación del término <<límite>> cuya
definición precisa es:
Se dice que una magnitud variable x tiende hacia un límite determinado A, si los
valores sucesivos de x se aproximan al número A de modo que el valor absoluto
de la diferencia (x - A) pueda llegar a ser menor que todo número positivo dado,
por más pequeño que éste sea, usando notación matemática se tiene:
Lim (x→a) f(x) = L si para todo ℰ > 0 existe un δ > 0 tal que:
Paradoja Número 3:
Para esto vamos a trazar dos semicircunferencias que tengan por diámetros los
radios OA = OB = R de una semicircunferencia dada. Ésta última Esta última tiene
por longitud πR , y la suma de las otras dos es:
Calculo Proposicional.
Toda proposición, puede ser representada por una fórmula del cálculo
proposicional, por lo que, si a las primeras se les puede asignar un valor veritativo,
es de esperar que a las segundas también. Las fórmulas más simples son las que
constan de solo un símbolo de variable o constante proposicional (p, q, r, 1, 0,
etc.), a estas se les llama atómicas.
En el caso de las fórmulas 0 y 1 sus valores veritativos serán siempre falso (0) y
cierto (1) respectivamente. Las variables por su parte, como su nombre lo indica,
pueden tomar cualquier valor (0 o 1). A manera de ejemplo, supóngase que la
variable p representa a la proposición “está lloviendo”, entonces p tomará valor 1
cuando efectivamente esté lloviendo, mientras tomará valor 0 cuando esto no sea
así. Para determinar el valor veritativo de una fórmula no atómica, lo primero que
se necesita es asociar un valor a cada una de las variables que la forman. Pero
con esto no basta, se necesita de reglas de interpretación y de precedencia para
las operaciones.
Por ejemplo:
Tautología.
Una tautología es una proposición que es verdadera para todos los posibles
valores de verdad de sus componentes simples.
Contradicción.
Una proposición es llamada contradicción o absurdo si ofrece un resultado falso
para todos los posibles valores de verdad de sus componentes simples.
Contingencia.
Combinaciones de Proposiciones.
Cuando se tienen dos proposiciones, se pueden obtener cuatro combinaciones
posibles (22) y cuando se tienen tres proposiciones, se obtiene ocho
combinaciones (23) y así sucesivamente:
El exponente representa el número de proposiciones y la base los dos valores de
verdad: verdadero y falso.
Álgebra de Boole.
El álgebra de Boole o álgebra booleana es un concepto del álgebra que permite
abstraer las principales operaciones algebraicas en un sistema binario. Esta debe
su nombre al matemático inglés George Boole, quien la creó y desarrolló a
mediados del siglo xix. Sin embargo, fue hasta mediados del siglo xx que el
álgebra booleana adquiere auge y una gran importancia práctica, que se ha
incrementado de manera considerable a últimas fechas, en especial en el terreno
del manejo de información digital (en lo que se conoce como lógica digital).
Gracias a esta, Claude Elwood Shannon (1949) pudo formular su teoría de la
codificación y John von Neumann pudo enunciar el modelo de arquitectura que
define la estructura interna de las computadoras desde la primera generación.
Por tanto, los principales campos de aplicación del álgebra booleana son la
informática, la electrónica digital y la computación, en virtud del hecho de que la
lógica de la computadora se basa en el sistema binario; esto es, en los circuitos
electrónicos de una computadora la información se trata en esencia como una
secuencia de ceros y unos.
Compuertas Lógicas.
Es la expresión física de un operador booleano en la lógica de conmutación.
2.- Chávez Calderón, Pedro. Compendio de lógica. México, D.F., MX: Larousse -
Grupo Editorial Patria, 2014.
6.- Rees, Paul K, Sparks, Fred. W., and Sparks Rees, Charles. Álgebra (10a. ed.).
México: McGraw-Hill Interamericana, 1991.