Proposiciones compuestas.

Las proposiciones compuestas, a diferencia de las simples, aparecen mediadas por la

presencia de alguna clase de conector, que puede ser: No, o, y, si…entonces, si y solo sí,
se les llama Proposiciones Compuestas.
Ejemplos de proposiciones compuestas:
 La ballena no es roja
 Si Yolanda es estudiosa entonces pasará el examen
 Terminaré rápido si y sólo si me doy prisa

Se les llama términos de enlace o conectivos lógicos a las partículas: No, o, y,

si…entonces, si y solo sí. Observemos que los conectivos: o, y, si…entonces, si y solo si,
se usan para enlazar dos proposiciones, pero el conectivo no actúa sobre una sola
proposición.

Conectivos lógicos: negación, disyunción, conjunción, condicional y bicondicional.

A continuación se da una tabla en la que se da la expresión gramatical y el nombre del

conectivo que representa:

Disyunción.
Es aquella proposición que es verdadera cuando al menos una de las dos p o q es
verdadera, y falsa en caso contrario. Se escribe p v q, y se lee "p o q". La disyunción de
dos proposiciones puede ser de dos tipos: Exclusiva o excluyente e inclusiva o incluyente.
La exclusiva es aquella proposición que es verdadera cuando una y sólo una de las dos p
o q es verdadera, y falsa en cualquier otro caso. Se escribe p ⊻ q, y se lee "p o q pero no
ambas". Se usa muy poco.

La disyunción de tipo inclusivo entre dos proposiciones es falsa sólo si ambas

proposiciones son falsas. En el lenguaje coloquial y en matemática es más frecuente el
uso de la disyunción inclusiva.
Ejemplo: El cielo es azul o 12 es un número par

p = "El cielo es azul" (verdadera), q = "12 es un número par" (verdadera)

Por ser ambas verdadera la disyunción inclusiva entre ellas es verdadera.

Conjunción.

Es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier

otro caso. Se escribe p ∧ q, y se lee "p y q".

Ejemplo: La proposición compuesta Palmira tiene montañas y ríos es verdadera porque

cada parte de la conjunción es verdadera. No ocurre lo mismo con la proposición Palmira
tiene montañas y tiene mar. Esta proposición es falsa porque Palmira no tiene mar.

Negación.

Define la negación de p como la proposición p¬ que es verdadera cuando p es falsa y que

es falsa cuando p es verdadera. Se lee "no p".

Ejemplo: Si p simboliza la proposición estamos en la clase de álgebra, entonces ¬p es no

estamos en la clase de álgebra.

Condicional.

El condicional material es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en
cualquier otro caso.

Ejemplo: Considera la siguiente proposición: "Si obtienes una A en lógica, entonces te

voy a comprar un Mustang amarillo." Esta parece ser compuesta en dos oraciones más
simplemente:

p: "Obtienes una A en lógica," y

q: "Te voy a comprar un Mustang amarillo."

La proposición original quiere decir lo siguiente: Si p es verdad, entonces q es verdad, o,

más simple, si p, entonces q. También podemos escribir la frase como p implica q, y
escribimos p→q.

Ahora supongamos por el bien de la discusión de que la proposición original: "Si obtiene
una A en lógica, entonces te voy a comprar un Mustang amarillo," es verdad. Esto no
significa que tú obtendrás una A en lógica; lo único que quiere decir es que si tú lo haces,
entonces te voy a comprar un Mustang amarillo. Si Pensamos en esto como una promesa,
la única manera que pueda ser rota esta promesa es si ganas una A pero no te compro un
Mustang amarillo. En general, usamos esta idea para definir la proposición p→q.

Bicondicional.

El bicondicional o doble implicación es un operador que funciona sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad difieren.

Ejemplo: Si p: "0 = 1" y q: "1 = 2," entonces p→q y q→p ambas son verdaderas porque
p y q ambas son falsas.