Si una proposición es verdadera y se niega, se convierte en falsa y viceversa
Negación
Disyunción incluyente
Conjunción
Conficional
Únicamente da falso si las dos son falsas, en los demás casos será verdadero
Condicional
Únicamente da verdadero si las dos son verdaderas, en los demás casos dará falso
Si el antecedente es verdadero y el consecuente falso entonces dará falso, en otro caso será verdadero
Bicondicional
Disyunción exclusiva
Si las dos son iguales dará verdadero, en el otro caso será falso
Disyunción
Son verdaderas si las dos son distintas, en el otro caso será falso
Todo hábito bueno es una virtud
Molecular
P
P ^ q
~ p ^ q
Tiene como expresión: ——>
Expresión de la condicional:
Si...entonces...
O...o...
...O...
...y...
Expresión de la negación/ Diego García Rizo 4040/ 25-10-18
No... no es cierto
No...y
...o
Conectivos lógicos
Todas las anteriores
Su símbolo es: V
Función de la lógica cuantificacional
Cálculo de proposiciones
Cálculo de funciones
Cálculo de clases
Ninguna de las anteriores
Tipos de lógica
Matemática
Simbólica
Proposicional
Proposición simple sin un conectivo lógico
Proposición molecular
Proposición atómica
Lógica proposicional
Lógica matemática
Su símbolo es: ~
Conjuncion
Lócica
Cómo se lee lo siguiente: ~ p <——> q
No p si y sólo si q
P y q
No p y q
Si no p entonces q
Su expresión es: O...o...
¿Cuántos tipos de proposiciones hay?
3
2
4
6
Brasil está en Sudamérica
Z
P ^ R
(P) ~ ^ q
P <—> q