Su regla es: si una proposición es verdadera y se niega se convierte en falsa y viceversa
negación
conjunción
disyunción incluyente
disyunción exclusiva
Su expresión es: ...si y sólo si...
condicional
bicondicional
cómo se lee lo siguiente: p ^ q
p y q
p si y solo si
p no q
p o q
su símbolo es: ___
no
y
...si y sólo si...
o...o...
su regla es: únicamente da verdadero si las dos son verdaderas, en el otro caso será falso
Aristóteles fue un filósofo Plantón fue su maestro
p ^ q
p v q
p v q -
Proposición simple sin conectivo lógico
proposición atómica
lógica proposicional
proposición molecular
lógica matemática
Tipos de lógica matemática
lógica cuantificacional
lógica de clase
todas las anteriores
Función de la lógica cuantificacional
cálculo de proposiciones
cálculo de funciones
cálculo de clases
ninguna de las anteriores
Es entendida como la obtención de una proposición verdadera a través de otras proposiciones verdaderas/ Emilio Magdón 4040/ 25-10-18
La base fundamental de la lógica
la inferencia
lógica simbólica
Su símbolo es: v
Disyunción incluyente
Regla de la bicondicial
si las dos son iguales dará verdadero, en el otro caso será falso
son verdaderas si las dos son distintas en el otro caso será falso
únicamente será verdadero si las dos son verdaderas
únicamente será falso si las dos son falsas
Conectivos lógicos
Bicondicional, condicional, negación, disyunción, conjunción
___ , ^ , v
simbólica, matemática, proposicional
o, y, ...si y sólo si..., si...entonces...
Expresión de la condicional:
si...entonces...
...y...
o
su regla es: son verdaderas si las dos son distintas, en el otro caso será falso
Ciencia que tiene como finalidad el cálculo de la inferencia, mediante ella demostramos la validez de un argumento
logística
atómicas
moleculares
ley de adición
Es una proposición compuesta por un conectivo lógico, contiene en si otras, es decir, está compuesto por dos o más proposiciones
conectivos lógicos
tablas de verdad
Tiene por objeto demostrar la validez de un argumento a través de la relación que se da entre las proposiciones que lo forman
logica proposicional
proposiciones moleculares
Su expresión es: ---->
Todo hábito bueno es una virtud
P
P ^ Q
P ^ __ Q