Ejercicios de Formalización:

Conectores Lógicos

Los conectores lógicos son palabras o términos que a partir de proposiciones simples generan una
compuesta. Es decir, unen, enlazan o junta proposiciones.

Los conectores básicos son: conjunción (^), disyunción (v), condicional (), bicondicional () y
negación (¬, ~).

Conjunción: es el resultado de unir dos proposiciones (“p”, “q”), y sólo es verdadero si ambas
proposiciones lo son. En el lenguaje natural se representan por la “y”. Por ejemplo:

1.- Jurado es director y Larios come niños.

2.- Llueve y hace calor.

3.- Fernando aplaude al mismo tiempo que masca chicle.

4.- Pedro aprobó el examen, pero Juan no aprobó.

Disyunción: una proposición compuesta por “p” y “q”, y sólo es falso si ambas lo son. Se lee como
“p o q”. Ejemplos:

1.- Mañana estudiamos o vamos al cine.

2.- Larios o bien come frutas o bien come niños.

3.- Paso mis materias o bien no las paso.

4.- O gano el campeonato o no lo gano y seré expulsado.

Condicional: proposición compuesta por “p” y “q”, donde una implica a la otra. Se le “si p, entonces
q”. Es falso sólo si el antecedente es verdadero y el consecuente falso. Por ejemplo:

1.- Si no pongo atención entonces me regañan.

2.- Si Pedro se alimenta sanamente, adelgazará pronto.

3.- Si me siento en los pasillos, me regañan el director.

4.- Pasaré el semestre siempre que haga mis tareas.

Bicondicional: proposición compuesta por “p” y “q” donde el antecedente implica al consecuente y
viceversa. Se lee “si y sólo si”. Sólo es verdadera si ambas proposiciones simples son del mismo valor,
o bien ambas son verdaderas o bien ambas son falsas. Ejemplos:

1.- Es de noche si y sólo si se ha puesto el sol.

2.- Juan hará el doctorado cuando y solamente obtenga la licenciatura.

3.- Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre.

Negación: es el conector que cambia el valor (verdadero, falso) de una proposición. Por ejemplo:

1.- Juan no es carpintero.

2.- No es el caso que Pedro reprobará el examen.

3.- No es el caso que no es verdad que no me llamo Fernando.

4.- Es imposible que el director de Prepa 5 vaya a morir algún día.