Lógica Proposicional (Proposiciones compuestas)

 La lógica es un lenguaje preciso, claro y formal, que estudia a las proposiciones.

¿Qué son las proposiciones compuestas?

Las proposiciones compuestas son aquellas que están conformadas por una o más proposiciones simples que se encuentran entrelazadas por conectores lógicos

Ejemplos:

• Voy a hacer mi tarea y a jugar.
• Las células pueden ser procariotas o eucariotas.
• Saldré con mis amigas si y solo si limpio la casa.

Conectores Lógicos:

Ejemplos con conectores lógicos:

• Las células pueden ser procariotas . (P)
• Las células pueden ser eucariotas. (Q)

Puede darse los siguientes casos:

P ∧ Q = Las células pueden ser procariotas y eucariotas.

P ∨ Q = Las células pueden ser procariotas o eucariotas.

P -> Q = Si las células pueden ser procariotas entonces las células pueden ser eucariotas.

P <-> Q = Las células pueden ser procariotas si y solo si las células pueden ser eucariotas.

P¬ = Las células no pueden ser procariotas.

Q¬ = Las células no pueden ser eucariotas.