2. LÓGICA PROPOSICIONAL CONCEPTOS PREVIOS PROPOSICIÓN Tiene un único valor lógico VERDADERO FALSO Proposición Simple Proposición Compuesta Sin conectivos lógicos Con conectivos lógicos: y; o; entonces, etc. Ejm . p: Tania es alta. Ejm . Matías es doctor y Lorena es modelo.
3.
4.
5.
6. CONECTIVOS LÓGICOS (SUMARIO) Solo es VERDADERO si VV = V en los demás casos es falso. Solo es FALSO si FF = F en los demás casos es verdadero. Solo es FALSO si VF= F en los demás casos es verdadero. Es VERDADERO si VV =V FF =V en los demás casos es falso. COMPONENTES p q V V V F F V F F CONJUNCIÓN Λ V F F F DISYUNCIÓN DÉBIL V V V V F DISYUNCIÓN FUERTE Δ F V V F CONDICIONAL -> V F V V BICONDICIONAL ↔ V F F V NEGACIÓN ~ p F F V V
7. Ejm .: Una madre a prometido a su hijo “si comes espinacas y el hígado entonces podrás salir a jugar”. El niño solo come las espinacas, pero la madre le permite salir a jugar. ¿Ha roto la promesa su “madre”? “ si comes espinacas y el hígado entonces podrás salir a jugar ”. SOLUCION .: Λ p q r Se deduce.: V V F F V VERDADERO Por lo tanto la madre no ha roto su promesa.
8. CONECTIVOS LÓGICOS (SUMARIO) ANEXO COMPONENTES CONJUNCIÓN DISYUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICIONAL NEGACIÓN DÉBIL FUERTE p q Λ V Δ -> ↔ ~ p V V V V F V V F V F F V V F F F F V F V V V F V F F F F F V V V