Professional Documents
Culture Documents
¿Qué es la lógica?
Una probable respuesta seria que damos a entender que existe una coherencia o
sentido correcto en lo que hacemos, pero también podemos afirmar que siempre
extraemos conclusiones, lo cual es inherente a nuestra capacidad racional.
Debemos saber también que las inferencias no se determinan por el contenido del
lenguaje, sino por su estructura sintáctica, por el esqueleto de dicho lenguaje.
LÓGICA PROPOSICIONAL
Es una parte de la lógica que tiene por objeto de estudio la proposición y la relación
entre ellas, así como la función que tienen las variables proposicionales y los
conectivos lógicos.
Objetivos
Proposición
. Ejemplo :
- Hoy es lunes. (si es proposición ya que se puede verificar)
- Hablo y no hablo.
- Carlos fuentes es un escritor.
- Sen(x) no es un número mayor que1.
Clases de proposiciones:
Ejemplo=
- El cielo es azul.
- El 2 o 3 son divisores de 48.
- Los días lunes hay clases de lógica.
- El cuadradado tiene cinco lados.
Proposición Compuestas: también denominadas “moleculares”. Son aquellas que
están formadas por dos o más proposiciones simples unidas por los operadores
lógicos,entonces:
1. negador
2. conjuntor
3. disjuntador débil
4. implicador débil
5. replicador
6. disjuntor fuerte
7. bicondicional
Ejemplo:
15 < 16
Conectores Lógicos
Símbolos lógicos que enlazan proposiciones atómicas, sin formar parte de ellas.
1. LA CONJUNCIÓN
Dada las proposiciones “p” y “q”, la conjunción es el resultado de componer estas
proposiciones por el conectivo lógico “y”. Se denota por el símbolo “ʌ”.
Se escribe así:
p ʌ q y se lee: “p y q”
Ejemplo:
Sea p: Raúl es contador
q: Cesar es ingeniero
p ʌ q: Raúl es contador y Cesar es ingeniero.
La proposición conjuntiva es verdadera únicamente cuando las dos
proposiciones coligadas p y q son verdaderas. En cualquier otro caso es falsa.
4. LA NEGACIÓN
Llamamos negación de la proposición “p” a otra proposición que denotamos por
“̴ ⌐p” y que se lee “no p” o “no es cierto que p” y cuya verdad o falsedad queda
determinada por la siguiente tabla:
p ⌐p ⌐(⌐p)
V F V
F V F
5. EL CONDICIONAL
En temas económicos, la siguiente proposición es una verdad: “Si los precios de
los artículos suben, entonces, tienen menos demanda.”
p: “Los precios de los artículos suben.”
q: “Los artículos tienen menos demanda.”
La palabra “entonces” se abrevia con el símbolo “→”, luego escribimos así:
p→q
A la proposición “p” se le llama antecedente o hipótesis y a “q” se le llama
consecuente o tesis.
“Si 2=3, entonces, 5=5”
Analizando la palabra “entonces”, esta palabra, la podemos entender como una
deducción (que se puede hacer en base a la experiencia o por simple
razonamiento mental). Del primer ejemplo: “Si los precios de los artículos suben,
entonces, se deduce que tienen menos demanda.” Ahora, para realizar esta
deducción (p → q) hemos hecho uso solamente de una condición (p), o mejor
dicho: “Con solo p se puede deducir q.” Que se abrevia también como:
“p sólo si q”
O como:
“p es suficiente para
q”
“q si p”
O como:
“q siempre que
p”
Debemos aceptar el hecho que “De una vedad no se puede deducir una falsedad”
pvp≡p
p^q≡q^p
3. LEYES ASOCIATIVAS : (p ^ q) ^ r ≡ p ^ (q ^ r)
(p v q) v r ≡ p v (q v r)
p ^~p ≡F
p v ~p≡V
pvF≡p
~(pv q) ≡ ~ p ^ ~ q
7. DEFINICIÓN DE IMPLICACIÓN : p Þ q ≡ ~ pv q
8. LEYES DISTRIBUTIVAS : p ^ (q v r) ≡ (p ^ q) v (p ^ r)
p v (q ^ r) ≡ (p v q) ^ (p v r)
9. LEYES DE ABSORCIÓN : p ^ (p v q) ≡ p
p v (p ^ q)≡ p
p ^ F ≡F
p v V≡V
Fuentes
http://www.monografias.com/trabajos86/logia-y-filosofia/logia-y-
filosofia.shtml
http://www.ferratermora.org/logi_math_9-21.html
http://profesoresparticulareslima.blogspot.pe/2015/05/descarguen-aqui-
el-libro-de-aritmetica.html