MATEMÁTICA I EFG

LÓGICA PROPOSICIONAL
El gran filósofo Aristóteles de Estagira, “Padre de la Lógica”, escribió la obra “Organon”, palabra que
literalmente significa instrumento, y se entiende cómo el medio para el desarrollo de la ciencia y el
conocimiento. La lógica es, por tanto, el instrumento para desarrollar el pensamiento, el
razonamiento en base a las leyes lógicas.

Definición de Lógica.- La lógica es la ciencia formal que estudia los principios y procedimientos que
permiten demostrar la validez e invalidez de las inferencias o razonamientos deductivos.

Lógica de Proposiciones.- Es una rama de la lógica clásica que estudia las variables
proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos
casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática,
ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

Proposición.- La proposición es una oración declarativa o aseverativa, que puede ser falsa o
verdadera pero no ambas a la vez.

Ejemplos:
1. La frase “1=1”es una proposición, puesto que puede ser verdadero o falso. Resulta ser un
enunciado verdadero.
2. La frase "1=0" también es un proposición, pero su valor de verdad es F.
3. El cuadrilátero es un polígono de cuatro lados. Es una proposición.

Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, esto es las oraciones
interrogativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas NO son
proposiciones.

Ejemplos.
1. ¿Qué es Lógica?
2. Debemos honrar a nuestros héroes.
3. ¡Por Júpiter! ¡Casi me saco la lotería!
4. Quizá llueva mañana.
5. "Haz los ejercicios de lógica" No es una proposición, puesto que no se le puede asignar ningún
valor de verdad (Está en modo imperativo, es una orden, y no una frase declarativa)
6. “Haz el amor y no la guerra” No es proposición, puesto que no se le puede asignar ningún valor
de verdad (También está en modo imperativo, es una orden, y no una frase declarativa).

Toda proposición es una oración aseverativa, pero no toda oración aseverativa es una proposición.

1
MATEMÁTICA I EFG

Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:
1. Ser oración.
2. Ser oración aseverativa, y
3. Ser o bien verdadera o bien falsa.
Diferencia entre Enunciado y Proposición
Enunciado: Denominamos asís a toda frase u ración.
Por ejemplo:
1. ¡Auxilio, me ahogo! (Exclamativa)
2. No conversen en clase (Desiderativa)
3. Lima es la capital del Perú (Afirmativa)
4. ¿Qué día es hoy? (Interrogativa)

Enunciados no proposicionales: Se llama así a aquellas expresiones o enunciados exclamativos,

interrogativos y desiderativos. De estos no se puede saber si son verdaderos o falsos, porque no
afirman ni niegan nada.
Ejemplos:
 ¡Uff, que calor!
 ¿están cansados?
 Escriban rápido

Enunciado abierto: Se llama así a aquellos enunciados que contienen una o más variables. Estos no
pueden ser ni verdaderos ni falsos, ya que no afirman nada.

Ejemplos:
 X es la capital de Uruguay.
 X es un planeta del sistema solar.
 𝑥 − 13 = 28
 2𝑥 − 7 > 13
 X es una vocal

2
MATEMÁTICA I EFG
Sin embargo, estos enunciados abiertos se pueden convertir en proposiciones verdaderas o falsas -
¿cómo? – reemplazando la variable o variables por un nombre, palabra, número, letra o cualquier
símbolo, según sea el caso. Así del primer ejemplo tenemos:
 X es la capital de Uruguay
Si X=Buenos Aires entonces la expresión se lee:
“Buenos Aires es la capital de Uruguay”
Se observa el enunciado abierto se convirtió en una proposición falsa.
 Si X=Montevideo entonces la expresión se lee:
“Montevideo es la capital de Uruguay”
Ahora el enunciado abierto se convirtió en una proposición verdadera.
 X es un planeta del sistema solar
Marte es un planeta del sistema solar.
Es una proposición verdadera.
 X es un planeta del sistema solar
Chimichangas es un planeta del sistema solar.
Es una proposición falsa.
 𝑥 − 13 = 28
50 menos 13 es igual a 28
Es una proposición falsa.
 𝑥 − 13 = 28
41 menos 13 es igual a 28
Es una proposición verdadera.

Proposición: Son aquellos enunciados afirmativos del cual se sabe que tiene dos valores de la verdad
mutuamente excluyentes: verdadero o falso. Las proposiciones se representan por las letras
minúsculas: p, q, r, s, t, .....
Así por ejemplo tenemos las siguientes proposiciones:
a) p: Alejandro Toledo fue el presidente del Perú.
Luego: 𝒗(𝒑) = 𝑽 y se lee: “el valor de la verdad de p es verdadero”

b) q: Francisco Bolognesi murió en Angamos

Luego: 𝒗(𝒒) = 𝑭 y se lee: “el valor de la verdad de q es falso”

c) r: Caracas es la capital de Venezuela

Luego: 𝒗(𝒓) = 𝑽 y se lee: “el valor de la verdad de r es verdadero”

3
MATEMÁTICA I EFG
Clases de proposiciones: Estas pueden ser de dos clases: simples y compuestas.
Las proposiciones simples (atómicas o elementales): Son aquellas proposiciones que tienen un
solo sujeto y un solo predicado. Carecen de conjunciones gramaticales típicas o conectivas (‘y’, ‘o’,
‘si... entonces’, ‘si y sólo si’) o del adverbio de negación ‘no’.
Ejemplos:
1. San Marcos es la universidad más antigua de América.
2. La lógica es distinta a la Matemática.
Las proposiciones simples de acuerdo a sus elementos constitutivos pueden clasificarse en
predicativas y relacionales.

Las proposiciones predicativas constan de sujeto y predicado.

Ejemplos:
1. El número 2 es par.
2. El espacio es relativo.
Las proposiciones relacionales constan de dos o más sujetos vinculados entre sí.

Ejemplos

1. Silvia es hermana de Angélica.

2. 5 es mayor que 3.

Las proposiciones compuestas: También llamadas proposiciones moleculares o coligativas. Se

denomina así a aquellas que están constituidas por dos o más proposiciones simples. Estas proposiciones
Simples están unidas a través de conectivos lógicos.

CONECTIVO LÓGICO SÍMBOLO

Y ˄
O ˅
O…O….. ∆
Si … entonces … →
Si y solo si ↔
no ¬ 𝒐 ῀
Ejemplos:
1. La lógica y la Matemática son ciencias formales.
𝑝: La Lógica es una ciencia formal.
𝑞: La Matemática es una ciencia formal.

2. El tiempo es absoluto o es relativo.

𝑝: El tiempo es absoluto.
𝑞: El tiempo es relativo.

4
MATEMÁTICA I EFG
3. Si dos ángulos adyacentes forman un par lineal, entonces son suplementarios.
𝑝: Dos ángulos adyacentes forman un par lineal.
𝑞: Dos ángulos adyacentes son suplementarios.
4. Este número es par si y sólo si es divisible por dos.
𝑝: Este número es par
𝑞: Este número es divisible por dos.
5. El Inca Garcilaso de la Vega no es un cronista puneño.
𝑝: El Inca Garcilaso de la Vega es un cronista puneño.

Aplicaciones de la lógica en la computación:

 Lenguajes de programación: como se estructura la lógica de un programa.
 Bases de datos: lenguajes de consulta.
 Inteligencia artificial: técnicas para el razonamiento, deducción de conocimiento.
 Análisis y diseño de algoritmos: análisis de complejidad de los problemas.

Lenguaje de la Lógica Proposicional

 La lógica proposicional pretende estudiar las frases declarativas simples (enunciados o
proposiciones).
 Estos elementos son los utilizados como base para la transmisión de conocimiento humano.
 Una proposición se define como un enunciado que puede ser calificado como verdadero o falso y
que no puede descomponerse en otras frases verdaderas o falsas.
 Para relacionar las proposiciones, se utilizan diferentes conectivos.
 La siguiente tabla describe todo el alfabeto utilizado en la lógica proposicional

𝑪𝒐𝒏𝒔𝒕𝒂𝒏𝒕𝒆𝒔: 𝑽, 𝑭
Variables o letras proposicionales: 𝒑, 𝒒, 𝒓, 𝒔, 𝒕, 𝒖, 𝒗, 𝒘 … ..
Símbolos de Conectivos: ∿, ∧, ∨, → , ↔
Signos de agrupación: ( ), [ ], { }

Sintaxis de la Lógica Proposicional (LP)

1. Las constantes V (verdadero) y F (falso) perteneces a la LP
2. Las letras de la proposición p, q, r, s, … pertenecen a la LP.
3. Sí “p” y “q” pertenecen a la LP, entonces ∿𝑝, ∿𝑞, (𝑝 ∨ 𝑞), (𝑝 ∧ 𝑞), (𝑝 ⟶ 𝑞), (𝑝 ⟷ 𝑞) pertenecen
a la LP.
4. Se establece la jerarquía de operaciones:
I. ∿
II. ∧, ∨
III. → ,↔

5
MATEMÁTICA I EFG

Nombre del conectivo Representación Ejemplos de frases en las que aparece

Negación ~𝑝 ; ¬𝑝 No p
Es falso que p
No es cierto que p
Conjunción 𝑝∧𝑞 pyq
p pero q
p sin embargo q
p no obstante q
p a pesar de q
Disyunción 𝑝∨𝑞 O p o q o ambos
Al menos p o q
Como mínimo p o q
Condicional 𝑝→𝑞 Si p entonces q
p sólo si q
q si p
q cuando p
q es necesario para p
para p es necesario q
p es suficiente para q
para q es suficiente p
no p a menos que q
Bocindicional 𝑝↔𝑞 p es necesario y suficiente para q
p so y solo si q

EJERCICIOS
I. Dados los siguientes enunciados, diga ¿cuáles son proposiciones (P)? ¿Cuáles son enunciados no
proposicionales (ENP)? ¿Cuáles son enunciados abiertos (EA)?

1. 13 es un número par P 1) ¡Alto, deténgase! ENP

2. ¿todos asistieron a clase? ENP 2) 3x = 15 para x=5 P
3. No deben llegar tarde ENP 3) ¿Melissa está llorando? ENP
4. Melissa está llorando P 4) 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 EA
5. 𝒙 + 𝟐 = 𝟓 EA 5) 72 = 15 𝒐 75 ÷ 5 = 15 P
6. La ballena es un mamífero. P 6) Honduras es un país asiático P
7. 42 + 22 = 20 P 7) 𝟏𝟐 − 𝒙 < 𝟓 EA
8. x es divisor de 24 EA 8) ¡No peleen! ENP
9. ¿Dónde vives? ENP 9) No conversen en clase. ENP
10. España, Italia y México son países 10) Génova es una ciudad de Italia. P
europeos. P

6
MATEMÁTICA I EFG

II. Convierta cada uno de los enunciados abiertos de la pregunta I, en proposiciones verdaderas
y falsas.

𝒙+𝟐=𝟓 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐
3 más 2 es igual a 5 V 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 para 𝒙 = 𝟔 V
6 más 2 es igual a 5 F 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 para 𝒙 = 𝟒 F
𝒙 Es divisor de 24 𝟏𝟐 − 𝒙 < 𝟓
3 es divisor de 24 V 12 menos 9 es menor que 5 V
7 es divisor de 24 F 12 menos 3 es menor que 5 F

III. Halle el valor de la verdad de las siguientes proposiciones:

1) México es un país europeo F 7) Londres es la capital de Alemania F

2) Las aves son animales mamíferos F 8) 34 + 43 = 0 F
3) 12 es un múltiplo de 24 F 9) 13 es un número primo. V
4) 20 es un número compuesto V 10) Guayaquil es una ciudad de Colombia. V
5) El Rímac es el río más caudaloso
del mundo. F
6) 7 es un divisor de 87 F

IV. Dados los siguientes conjuntos y sus respectivos enunciados abiertos, verifique para qué valores
de “x” la proposición es verdadera.

a) 𝐴 = {𝑋⁄𝑋 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙} j) F={x / x ∈N , x es mayor que 4 y menor 10}

𝒙=𝒖 𝒙=𝟕
b) 𝐵 = {𝑋⁄𝑋 es un día de la semana}
k) G={x / x∈N ∧ x es mayor que 7}
𝒙 = 𝒎𝒂𝒓𝒕𝒆𝒔
c) P={x/ x es una estación del año} 𝒙=𝟖

𝒙 = 𝒗𝒆𝒓𝒂𝒏𝒐 l) D={x / x es un número natural impar mayor

d) R={x/ x es un mes del año} que 13}

𝒙 = 𝒆𝒏𝒆𝒓𝒐 𝒙 = 𝟐𝟕
e) M={x/ x es un mes de 30 días}
𝒙 = 𝒂𝒃𝒓𝒊𝒍
f) D={x/ x es un Ministro del Perú}
𝒙 = 𝑴𝒊𝒓𝒕𝒂 𝑽á𝒔𝒒𝒖𝒆𝒛
g) C={x / x es un planeta del Sistema
Solar
𝒙 = 𝑱ú𝒑𝒊𝒕𝒆𝒓

7
MATEMÁTICA I EFG

V. Sean las siguientes proposiciones:

p: Manuel estudia ;
q: Manuel aprueba el curso
Exprese verbalmente las siguientes proposiciones:

a) 𝑝 ∧ 𝑞: Manuel estudia y aprueba el curso.

b) 𝑞 ∧∼ 𝑝 ∶ Manuel aprueba el curso y no estudia.
c) 𝑝 ∨ 𝑞 ∶ Manuel estudia o aprueba el curso.
d) ∼ 𝒒 ∨ 𝒑 ∶ Manuel no aprueba el curso o estudia.
e) 𝒑 → 𝒒 ∶ Si Manuel estudia entonces aprueba el curso.
f) ∼ 𝒒 ↔ 𝒑 ∶ Manuel no aprueba el curso si y sólo si estudia.
g) 𝒑 ↔∼ 𝒒 ∶ Manuel estudia si y sólo si no aprueba el curso.
h) ∼ 𝒑 →∼ 𝒒 ∶ Si Manuel no estudia entonces Manuel no aprueba el curso.
i) ∼ 𝒒 ↔∼ 𝒒 ∶ Manuel no aprueba el curso si y sólo si Manuel no aprueba el curso.
j) ∼ (∼ 𝒑) ∶ Es falso que Manuel no estudia
k) ∼ (∼ 𝒑 ∧ 𝒒): Es falso que Manuel no estudia y aprueba el curso.
l) ∼ (𝒒 →∼ 𝒑): Es falso que si Manuel aprueba el curso entonces Manuel no estudia.

Clasificación de las proposiciones compuestas

Las proposiciones compuestas, según el tipo de conjunción que llevan, se clasifican en
conjuntivas, disyuntivas, condicionales y bicondicionales; si llevan el adverbio de
negación ‘no’ se llaman negativas.

Las proposiciones conjuntivas: llevan la conjunción ‘y’, además sus expresiones equivalentes
como ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni ‘, ‘sin embargo’,
‘además’, etc.
Ejemplos:
1. ‘El’ es un artículo y ‘de’ es una p r e p o s i c i ó n .
𝑝: “El” es un artículo.
𝑞: “de” es un preposición

8
MATEMÁTICA I EFG
2. El número dos es par, pero el número tres es impar.
𝑝: El número dos es par.
𝑞: el número tres es impar.
3. Silvia es inteligente, sin embargo, es floja .
𝑝: Silvia es inteligente.
𝑞: Silvia es f loja .
4. Tanto el padre como el hijo son m e l ó m a n o s .
p: El padre es melómano.
q: El hijo es melómano.
5. Manuel e Ismael son universitarios.
𝑝: Manuel es universitario.
𝑞: Ismael es universitario.
En las proposiciones conjuntivas no es necesario que sus componentes estén relacionadas en
cuanto al contenido; es suficiente la presencia de la conjunción ‘ y ’ . Una proposición conjuntiva es
conmutativa, es decir, se puede permutar el orden de sus componentes sin alterar la conjunción.
Ejemplos
1. Sansón y Dalila son hermanos.
2. Luis y Delia son primos.
3. Luis y Juana son vecinos.
CONJUNCIÓN ().- Representa al conectivo “y”, es verdadera cuando las dos proposiciones p y q son
verdaderas, en cualquier otro caso es falsa. Para hallar el valor de la verdad de una conjunción se
utilizará la siguiente tabla:
P Q 𝒑 ∧ 𝒒
V V V
V F F
F V F
F F F

a) La ballena es un animal mamífero, pero vive en el mar

Luego:
p: La ballena es un mamífero v(p)=V
q: La ballena vive en el mar v(q)=V
Por lo tanto: 𝒗(𝒑 ∧ 𝒒) = 𝐕
b) Cuba y Chile son países sudamericanos.
Luego
p: Cuba es un país sudamericano v(p)=F
q: Chile es un país sudamericano v(q)=V
Por lo tanto: 𝒗(𝒑 ∧ 𝒒) = 𝑭

9
MATEMÁTICA I EFG
Las proposiciones disyuntivas llevan la conjunción disyuntiva ‘o’, o sus expresiones
equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’, ‘sea... sea’, ‘y/ o’, etc.
En español la disyunción ‘o’ tiene dos sentidos: uno inclusivo o débil y otro exclusivo o fuerte.
 La proposición disyuntiva inclusiva admite que las dos alternativas se den conjuntamente.
 La proposición disyuntiva exclusiva no admite que las dos alternativas se den
conjuntamente.
Ejemplos:
a) Pedro es tío o es sobrino. (disyuntivas inclusivas o débiles)
b) Elena está viva o está muerta. (es disyuntivas exclusivas o fuertes)
c) Roberto es profesor o es estudiante. (disyuntivas inclusivas o débiles)
d) Silvia es soltera o es casada. (es disyuntivas exclusivas o fuertes)
 ‘a)’ y ‘c)’ son proposiciones disyuntivas inclusivas o débiles porque en ellas no se excluye
la posibilidad de que Pedro pueda ser al mismo tiempo tío y sobrino o de que Roberto sea
profesor y estudiante a la vez.
 ‘b)’ y ‘d)’ son proposición es disyuntivas exclusivas o fuertes porque en ellas se excluye
la posibilidad de que Elena pueda estar viva y muerta al mismo tiempo y que Silvia sea
soltera y casada a la v e z .

DISYUNCIÓN INCLUSIVA (V). - Representa al conectivo “o”, es verdadera si al menos una de las
proposiciones componentes es verdadera, resultando falsa solo cuando las dos son falsas. Para hallar el
valor de la verdad de una disyunción inclusiva se utilizará esta tabla:

P Q 𝒑 ∨ 𝒒
V V V
V F V
F V V
F F F

a) Camaná ó Jaén son ciudades del Perú

Luego: por lo tanto: 𝒗(𝒑 ∨ 𝒒) = 𝑽
p: Camaná es una ciudad del Perú v(p)=V 𝒗(𝑽 ∨ 𝑽) = 𝑽
q: Jaén es una ciudad del Perú v(q)=V

b) Todo triángulo en el plano tiene tres ángulos rectos ó dos ángulos obtusos
Luego: por lo tanto: 𝐯(𝐩 ∨ 𝐪) = 𝐅
p: Todo triángulo en el plano tiene tres ángulos rectos v(p)=F 𝐯(𝐅 ∨ 𝐅) = 𝐅
q: Todo triángulo en el plano tiene dos ángulos obtusos v(q)=F

10
MATEMÁTICA I EFG
DISYUNCIÓN EXCLUSIVA (). - Representa al conectivo “o” en su sentido excluyente, es verdadera
cuando solamente una de las proposiciones es verdadera y no las dos, resultando falsa en otros casos.
Para hallar el valor de la verdad de una disyunción exclusiva se utilizará esta tabla: “O p ó q”.
P Q 𝒑 ∆ 𝒒
V V F
V F V
F V V
F F F

a) O William Shakespeare es autor de Hamlet o es autor de la Iliada.

Luego: por lo tanto: 𝒗(𝒑∆𝒒) = 𝑽
p: William Shakespeare es autor de Hamlet v(p)=V
q: William Shakespeare es autor de la Iliada v(q)=F

Las proposiciones condicionales llevan la conjunción condicional compuesta ‘si... entonces...’,

o sus expresiones equivalentes como ‘si’, ‘siempre que’, ‘con tal que’, ‘puesto que’, ‘ya que’,
‘porque’, ‘cuando’, ‘de’, ‘a menos que’, ‘a no ser que’, ‘salvo que’, ‘sólo si‘, ‘solamente si’.
Ejemplos:
1. Si es joven, entonces es rebelde.
2. Es herbívoro si se alimenta de plantas.
Si se alimenta de plantas entonces es herbívoro.
3. El número cuatro es par puesto que es divisible por dos.
4. Se llama isósceles siempre que el triángulo tenga dos lados iguales.
p: El triángulo se llama isósceles.
q: El triángulo tiene dos lados iguales.

LA CONDICIONAL ().- Representa al conectivo “si...entonces”, es falsa solamente cuando el

antecedente es verdadero y el consecuente es falso, siendo verdadera en todos los demás casos. La
tabla de verdad de una condicional es:
P Q 𝒑 → 𝒒
V V V
V F F
F V V
F F V

a) Si 5+3=7 entonces 7< 6

Luego:
p: 5+3=7 (antecedente) v(p)=F
q: 7<6 (consecuente) v(q)=F
Por lo tanto: 𝒗(𝒑 ⟶ 𝒒) = 𝑽

11
MATEMÁTICA I EFG
b) Si los monos son animales entonces la Tierra es plana
Luego:
p: Los monos son animales (antecedente) v(p)=V
q: La Tierra es plana (consecuente) v(q)=F
Por lo tanto 𝒗(𝒑 ⟶ 𝒒) = 𝑭

Proposición reciproca.- Dada la proposición condicional “𝒑 ⟶ 𝒒”, se llama proposición recíproca a la

proposición que se denota por “𝒒 ⟶ 𝒑”.

La proposición directa: 𝒑 ⟶ 𝒒 La proposición reciproca: 𝒒 ⟶ 𝒑

“Si x es par, entonces es múltiplo de 2” “Si x es múltiplo de 2, entonces es par”

Proposición Inversa: Dada la proposición condicional "𝒑 ⟶ 𝒒", se llama proposición inversa a la

proposición que se denota por “pq”.

La proposición directa: 𝒑 ⟶ 𝒒
“Si Patricia tiene 30 años, entonces es joven”
La proposición inversa pq
“Si patricia NO tiene 30 años, entonces NO es joven”

Proposición Contrarrecíproca: Dada la proposición condicional “pq”, se llama proposición

contrarecíproca a la proposición que se denota por “qp”.

La proposición directa: 𝒑 ⟶ 𝒒
“Si dos rectas son perpendiculares a una misma recta, entonces son paralelas”
La proposición contrareciproca qp
“Si dos rectas NO son paralelas, entonces, NO son perpendiculares a una misma recta”

Las proposiciones bicondicionales llevan la conjunción compuesta ‘sí y sólo si’, o sus
expresiones equivalentes como ‘cuando y sólo cuando’, ‘si..., entonces y sólo entonces...’, etc.

Ejemplos:
1. Es fundamentalista si y sólo si es talibán.
2. Habrá cosecha cuando y sólo cuando llueva.
3. Si apruebo el examen de admisión, entonces y sólo entonces ingresaré a la universidad.

12
MATEMÁTICA I EFG
LA BICONDICIONAL (). - Representa al conectivo “si y solo si”, es verdadera cuando las
proposiciones componentes tienen el mismo valor de verdad, en otros casos es falsa. Para hallar el valor
de la verdad de una bicondiconal se utilizará la siguiente tabla:
P Q 𝒑 ↔ 𝒒
V V V
V F F
F V F
F F V

a) Sea el siguiente enunciado: "Un ser está vivo, si y sólo si, tiene respiración"
Luego:
p: Un ser está vivo v(p)=V
q: Un ser tiene respiración v(q)=V
Por lo tanto: 𝒗(𝒑 ⟷ 𝒒) = 𝑽

Las proposiciones negativas llevan el adverbio de negación ‘no’, o sus expresiones

equivalentes como ‘nunca’, ‘jamás’, ‘tampoco’, ‘no es verdad que ‘, ‘no es cierto que’, ‘es falso que’,
‘le falta’, ‘carece de’, ‘sin’, etc.

Ejemplos:
1. Nunca he oído esa música.
p: He oído esa música.
2. Jamás he visto al vecino.
p: He visto al vecino.
3. Es imposible que el átomo sea molécula.
p: El átomo es una molécula.

NEGACIÓN (~). - El valor de la negación de un enunciado es siempre opuesto al valor de verdad del
enunciado. Para hallar el valor de la verdad de una negación se utilizará la siguiente tabla:
𝑝 ~𝒑
V F
F V
Ejemplo:
a) Hoy no es miércoles.
Luego:
p: Hoy es miércoles v(p)=F
p: Hoy no es miércoles v(p)=V
Otra forma de expresar la negación es utilizando los términos “no es el caso que”, “es falso que”, “no
es cierto que”, etc. Aunque en estos casos generalmente la negación niega a proposiciones compuestas.

13
MATEMÁTICA I EFG
Tablas de Verdad
Conectivos lógicos.- La construcción de proposiciones compuestas requiere del uso de elementos que
permitan establecer una relación entre las proposiciones que la forman; estos elementos se conocen como
conectivas lógicas.

Tablas de Verdad de los conectivos lógicos: Sean p y q dos proposiciones

p q pq pVq pq pq pq ~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

 El número de arreglos se define como sigue: 2𝑛 , donde n es el número de variables

proposicionales.
 Entonces, s𝑖 𝑛 = 2, 22 = 4.
 𝑝, 𝑞, 𝑟: 𝑛 = 3, 23 = 8

Ejemplos: Hallar la tabla de verdad de la siguiente formula lógica.

𝑎) ~[(𝑝˅𝑞)˄(~𝑞 → ~𝑝)]
p q ~ [ (𝑝 ˅ 𝑞) ˄ (~𝑞 → ~𝑝)]
V V F V V V V F V F
V F V V V F F V F F
F V F F V V V F V V
F F V F F F F V V V

b) [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
𝑝, 𝑞, 𝑟 → 𝑛 = 3, 23 = 8
p q r [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
V V V V V V V V V V V V V V
V V F V V V F V F F V V F F
V F V V F F F F V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F V F V V V F V V
F F F F V F V F V F V F V F

14
MATEMÁTICA I EFG
Clasificación de las fórmulas compuestas por su matriz principal
1. Formulas compuestas Tautológicas (Tautología).- Son aquellas donde los valores de su
matriz principal son todos verdaderos.
p q [ (𝑝 → 𝑞) ˄ ~𝑞 ] → ~𝑝
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

2. Formulas compuestas Contradictorias (Contradicciones).- Son aquellas donde todos los

valores de su matriz principal son todos falsos.
p q ~ [ (𝑝 ∧ 𝑞) → ~ (~𝑞 ∨ ~𝑝)]
V V F V V V V V F F F
V F F V F F V F V V F
F V F F F V V F F V V
F F F F F F V F V V V

3. Formulas compuestas Contingentes (Contingencias).- Son aquellos donde algunos de los

valores de su matriz principal son verdaderos y algunos son falsos.
p q [~ (𝑝 ∨ 𝑞) ∧ ~ 𝑝] ↔ (𝑞 → 𝑝)
V V V V V V F F F V V V
V F V V V F F F F F V V
F V F F V V F V V V F F
F F V F F F V V V F V F

Implicación y Equivalencias de Fórmulas

Implicación de Fórmulas
 A toda proposición condicional p →q que sea tautología le llamaremos implicación lógica.
Ejemplo.
p q [((~𝑝) ˅ 𝑞) ˄ ~𝑞] → ~𝑝
V V F V F F V F
V F F F F V V F
F V V V F F V V
F F V V F V V V

15
MATEMÁTICA I EFG
 A toda bicondicional p ↔q que sea tautología se le llama Equivalencia Lógica.
p q [ 𝑝 ˄ (𝑝 ˅ 𝑞)] ↔ 𝑝
V V V V V V V V V
V F V V V V F V V
F V F F F V V V F
F F F F F F F V F

Proposiciones Lógicamente Equivalentes.- Cuando sus tablas de verdad de dos proposiciones p y q

son idénticos se denominan equivalentes y se simboliza como 𝑝 ≡ 𝑞.

Ejemplos
1. (𝑝 → 𝑞) ≡ ( ~𝑞 → ~𝑝)
p q (𝑝 → 𝑞) ( ~𝑞 → ~𝑝)
V V V F V F
V F F V F F
F V V F V V
F F V V V V
2. ∿(𝑝 ∨ 𝑞) ≡ ( ~𝑝 ∧ ~𝑞)
p q ∿(𝑝 ∨ 𝑞) ( ~𝑞 ∧ ~𝑝)
V V F F F F
V F F V F F
F V F F F V
F F V V V V

Teorema: La proposición condicional p → q y su contrarrecíproca ~q →~p son lógicamente equivalentes.

p q (𝑝 → 𝑞) ( ~𝑞 → ~𝑝)
V V V F V F
V F F V F F
F V V F V V
F F V V V V
3. (𝑝 → 𝑞) ≡ ( ~𝑝 ∨ 𝑞)
p q (𝑝 → 𝑞) ( ~𝑝 ∨ 𝑞)
V V V F V V
V F F F F F
F V V V V V
F F V V V F

16
MATEMÁTICA I EFG
LEYES DE EQUIVALENCIAS NOTABLES
Existen varias equivalencias entre fórmulas de la lógica proposicional, las cuales se conocen como leyes
de equivalencia.

Donde T: tautología F: Contradicción

P 𝑃 ∨ ∼𝑃
V V V F
F F V V

P 𝑃 ∨ 𝐹
V V V F
F F F F

17
MATEMÁTICA I EFG
Formalización de proposiciones
Formalizar una proposición significa abstraer su forma lógica, es decir, revelar su estructura
sintáctica a través del lenguaje formalizado de la lógica. En términos más sencillos, formalizar
una pro- posición equivale a representarla simbólicamente
Toda proposición tiene su forma lógica y su fórmula lógica. La forma lógica de una
proposición es otra proposición equivalente a la primera con la diferencia de que en ella toda su
estructura sintáctica está completamente explicitada. A partir de aquí, su fórmula lógica no
es otra cosa que la que resulta de sustituir a toda proposición atómica distinta por una variable
proposicional (𝒑, 𝒒, 𝒓, 𝒔, 𝒕, …) también distinta, a toda conjunción gramatical por el operador
lógico correspondiente y el adverbio ‘no’ por el operador negativo.

Ejemplos
1. Albert Einstein no es filósofo, sino físico
Forma lógica:
Albert Einstein es físico y Albert Einstein no es filósofo.
Albert Einstein no es filósofo pero Albert Einstein es físico
Fórmula:
p: Albert Einstein es físico.
q: Albert Einstein es filósofo.
𝒑 ˄ ∿𝒒
2. No iremos al teatro a menos que venga Raúl.
Forma lógica:
Si Raúl viene, entonces nosotros iremos al teatro
Fórmula:
p: Raúl viene.
q: Nosotros iremos al teatro.
𝒑→𝒒

3. Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.

Forma lógica:
Vilma no ingresó a la universidad y Silvia no ingresó a la universidad y Angélica no ingresó
a la universidad.
Fórmula:
p: Vilma ingresó a la universidad.
q: Silvia ingresó a la u n i v e r s i d a d .
r: Angélica ingresó a la u n i v e r s i d a d .
∼𝒑 ∧ ∼𝒒 ∧ ∼𝒓

18
MATEMÁTICA I EFG
4. Sin carbono, oxígeno, nitrógeno e hidrógeno, no hay vida.
Forma lógica:
Si no hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno entonces no
hay v i d a .
Fórmula:
p: hay carbono. s: hay hidrógeno.
q: hay oxígeno. t: hay vida.
r: hay nitrógeno.
(∼ 𝒑 ∧ ∼ 𝒒 ∧ ∼ 𝒓 ∧ ∼ 𝒔) → ∼ 𝒕

5. Tanto Waldir Sáenz como “Chemo” Del Solar son atletas porque son futbolistas.
Forma lógica:
Si Waldir Sáenz es futbolista y “Chemo” Del Solar es futbolista, entonces Waldir Sáenz es atleta
y “Chemo” Del Solar es atleta.
Fórmula:
p: Waldir Sáenz es futbolista.
q: “Chemo” Del Solar es futbolista.
r: Waldir Sáenz es atleta.
s: “Chemo” Del Solar es atleta.
(𝒑 ∧ 𝒒) → (𝒓 ∧ 𝒔)

7. César es profesor o es alumno, pero no puede ser ambas cosas a la vez.

Forma lógica:
César es profesor o César es alumno y es falso que César sea profesor y César sea alumno.
Fórmula:
p: César es profesor.
q: César es alumno.
(𝒑 ∨ 𝒒) ∧ ∼ (𝒑 ∧ 𝒒)

8. Las Fuerzas Armadas y las Fuerzas Policiales participan en el desarrollo económico y social
del país, pero no son deliberantes.
Forma lógica:
Las Fuerzas Armadas participan en el desarrollo económico del país y las Fuerzas
Armadas participan en el desarrollo social del país y las Fuerzas Policiales participan
en el desarrollo económico del país y las Fuerzas Policiales participan en el desarrollo social
del país y las Fuerzas Armadas no son deliberantes y las Fuerzas Policiales no son
deliberantes.

19
MATEMÁTICA I EFG
Fórmula:
p: las Fuerzas Armadas participan en el desarrollo económico del país.
q: las Fuerzas Armadas participan en el desarrollo social del país.
r: las Fuerzas Policiales participan en el desarrollo económico del país.
s: Las Fuerza s Policiales participan en el desarrollo social del país.
t: las Fuerzas Armadas son deliberantes.
w: las Fuerzas Policiales son deliberantes.
(𝒑 ∧ 𝒒 ∧ 𝒓 ∧ 𝒔) ∧ (∼ 𝒕 ∧ ∼ 𝒘)

9. De saberlo antes, habría venido.

Forma lógica:
De saberlo antes entonces habría venido.
Si supiera antes entonces habría venido.
Fórmula:
p: saberlo antes.
q: Yo habría venido.
𝒑→𝒒
INFERENCIA
Una inferencia (razonamiento, deducción, argumento) es una operación lógica que consiste en
derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de
otra proposición conocida como conclusión.
Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la
conclusión. Siguen a las premisas, las palabras ‘puesto que’, ‘ya que’, ‘pues’, ‘porque’, ‘siempre
que’, ’si’, por consiguiente, etc.
La conclusión de una inferencia es la proposición que se afirma sobre la base de las premisas.
Preceden a la conclusión las palabras ‘luego’, ‘por tanto’, ‘por consiguiente’, ’en
consecuencia’, etc.
Además, en inferencias desordenadas, la proposición inmediatamente anterior a las palabras que
preceden a las premisas es la conclusión.
Ejemplos:
1) Los postulados son proposiciones primitivas de la matemática. Luego, los postulados
son proposiciones primitivas de la matemática o de la lógica.
Premisa: Los postulados son proposiciones primitivas de la matemática.
Conclusión: Luego, los postulados son proposiciones primitivas de la matemática o de
la lógica.

20
MATEMÁTICA I EFG
2) Si esta figura tiene cuatro lados, es un cuadrilátero. Si esta figura tiene tres lados, es un
triángulo. Esta figura tiene cuatro lados o tiene tres lados. Por tanto, esta figura es un
cuadrilátero o es un triángulo.
Premisas:
1. Si esta figura tiene cuatro lados, es un cuadrilátero.
2. Si esta figura tiene tres lados, es un triángulo.
3. Esta figura tiene cuatro lados o tiene tres lados.
Conclusión: Por tanto, esta figura es un cuadrilátero o es un triángulo.

Formalizar una inferencia significa abstraer su forma lógica, vale decir, explicitar su estructura
sintáctica a través del lenguaje formalizado de la lógica. La técnica de formalización de inferencias
queda expuesta a través de los siguientes pasos:
1. Se ordena la inferencia, pero sólo en el caso de que su forma lógica haya sido alterada en el
lenguaje natural, observando el esquema: premisas-conclusión.
2. Se explica su estructura lógica empleando las conjunciones ‘y’, ‘o’, ’si..., entonces’, ‘si y sólo si’
y el adverbio ‘no’, en lugar de sus expresiones equivalentes. Simultáneamente, se disponen
las premisas y la conclusión una debajo de la otra. Entre la última premisa y la conclusión
se escribe una barra horizontal y la palabra ‘luego’, ‘en consecuencia’, o ‘por tanto’, antes
de la conclusión.
3. Se halla su fórmula lógica sustituyendo cada proposición simple por una variable
proposicional distinta, las conjunciones gramaticales por sus operadores lógicos
correspondientes, el adverbio ‘no’ por el operador negativo y la palabra ‘luego’ por el símbolo
‘⟶’. Los signos de agrupación se usan para establecer la jerarquía entre los operadores de
una fórmula, pero sólo cuando su omisión la hace ambigua.
4. Se construye una fórmula condicional que tenga como antecedente las premisas unidas por el
operador conjuntivo y como consecuente la conclusión, de tal forma que la estructura lógica
de cualquier inferencia quede representada esquemáticamente de la siguiente manera:
[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2)] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)
Antecedente Consecuente
O
[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 3)] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)
Antecedente Consecuente

[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 3) ˄ … … ] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)

Antecedente Consecuente

21
MATEMÁTICA I EFG
Ejemplos
a) Los congresistas representan a la Nación, pero no están sujetos a mandato imperativo.
Luego, los congresistas representan a la Nación.

Premisas y conclusión
1. Los congresistas representan a la Nación y los congresistas no están sujetos a mandato
imperativo.
----------------------------------------------------------------------------------------------------------------------------------
Luego, los congresistas representan a la Nación.

Proposiciones simples
𝒑: Los congresistas representan a la Nación.
𝒒: Los congresistas están sujetos a mandato imperativo.

Fórmula lógica
𝟏. 𝒑 ∧ ∼ 𝒒
-------------------
∴ 𝒑

Fórmula condicional: (𝒑 ∧ ~𝒒) ⟶ 𝒑

Evaluación: Tabla de verdad

P Q ( 𝒑 ∧ ~𝒒) ⟶ 𝒑
V V V F F V V
V F V V V V V
F V F F F V F
F F F F V V F

Es una tautología

b) Felipe no será expulsado del club a menos que él cometa actos de traición e inmoralidad. No ha
sido expulsado. En consecuencia, no ha cometido actos de traición ni de inmoralidad.

Premisas y conclusión
1. Si Felipe comete actos de traición y Felipe comete actos de inmoralidad entonces Felipe será
expulsado del club.
2. Felipe no ha sido expulsado del club.
------------------------------------------------------------------------------------------------------------------------------------
Luego, Felipe no ha cometido actos de traición y Felipe no ha cometido actos de inmoralidad.

22
MATEMÁTICA I EFG
Proposiciones simples
𝑝: Felipe comete actos de traición.
𝑞: Felipe comete actos de inmoralidad.
𝑟: Felipe será expulsado del club.

Fórmula lógica
1. (𝑝 ∧ 𝑞) → 𝑟
2. ∼ 𝑟
--------------------
∴ ∼𝑝 ∧∼𝑞

Fórmula condicional:
{[(𝑝 ∧ 𝑞) ⟶ 𝑟] ∧ ~𝑟} ⟶ (~𝑝 ∧ ~𝑞)
Tabla de verdad
P Q R {[( 𝒑 ∧ 𝒒) ⟶ 𝒓 ] ∧ ~𝒓} ⟶ (~𝒑 ∧ ~𝒒)
V V V V V V V V F F V F F F
V V F V V V F F F V V F F F
V F V V F F V V F F V F F V
V F F V F F V F V V F F F V
F V V F F V V V F F V V F F
F V F F F V V F V V F V F F
F F V F F F V V F F V V V V
F F F F F F V F V V V V V V

Es una contingencia.

Análisis de inferencias a través de la tabla de verdad

La tabla de verdad es un algoritmo o procedimiento decisorio porque a través de la aplicación
mecánica de un conjunto finito de reglas permite decidir la validez o invalidez de las inferencias.
En efecto, una inferencia es válida, mediante la tabla de verdad, si y sólo si al ser formalizada
y evaluada su fórmula condicional es una tautología; es invalida si la fórmula condicional es
consistente o contradictoria.

Procedimiento:
Paso 1. Se ordena la inferencia, pero sólo en el caso de que su forma lógica haya sido alterada en el
lenguaje natural, observando el esquema: premisas-conclusión.
Paso 2. Se explicita su forma lógica.
Paso 3. Se halla su fórmula, expresando simbólicamente sus premisas y conclusión.
Paso 4. Se construye una fórmula condicional que tenga como antecedente a las premisas unidas por el
operador conjuntivo y como consecuente a la conclusión.
Paso 5. Se evalúa la fórmula condicional mediante la tabla de verdad. Si efectuada la evaluación,
la fórmula condicional es tautológica, entonces la inferencia es válida; si la fórmula es consistente
o contradictoria, entonces no es válida.

23
MATEMÁTICA I EFG
Ejemplos
a) El triángulo se llama isósceles si tiene dos lados iguales. No se llama isósceles. En consecuencia,
no tiene dos lados iguales.
Forma lógica:
Premisas y conclusión
1. Si el triángulo tiene dos lados iguales entonces el triángulo se llama isósceles.
2. El triángulo no se llama isósceles.
…………………………………………………………………………………………………..
Luego, el triangulo no tiene dos lados iguales.

Proposiciones simples
𝒑: El triángulo tiene dos lados iguales.
𝒒: El triángulo se llama isósceles.

Fórmula lógica
𝟏. 𝒑 → 𝒒
𝟐. ∼ 𝒒
--------------------
∴∼𝒑

Fórmula condicional: [(𝒑 → 𝒒) ˄ ∿𝒒] → ∿𝒑

Evaluación
P Q [( 𝒑 → 𝒒) ˄ ∿𝒒] → ∿𝒑
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

Respuesta: La inferencia analizada es válida porque su fórmula condicional es una tautología.

b) El pueblo es una masa pasiva que sigue bien las ideas de un gran hombre, o bien los
preceptos de la idea absoluta. Sigue los preceptos de la idea absoluta. Por lo tanto no
sigue las ideas de un gran hombre.

Forma lógica: Premisas y conclusión

1. El pueblo es una masa pasiva que sigue las ideas de un gran hombre o el pueblo es una
masa pasiva que sigue los preceptos de la idea absoluta.
2. El pueblo es una masa pasiva que sigue los preceptos de la idea absoluta.
………………………………………………………………………………………………..
Luego, El pueblo es una masa pasiva que no sigue las ideas de un gran hombre.

24
MATEMÁTICA I EFG
Proposiciones simples
𝒑: El pueblo es una masa pasiva que sigue las ideas de un gran hombre.
𝒒: El pueblo es una masa pasiva que sigue los preceptos de la idea absoluta.

Fórmula lógica
𝟏. 𝒑 ∨ 𝒒
𝟐. 𝒒
--------------------
∴∼𝒑
Fórmula condicional: [(𝒑 ∨ 𝒒) ˄ 𝒒] → ∿𝒑
Evaluación
P Q [(𝒑 ∨ 𝒒) ˄ 𝒒] → ∿𝒑
V V V V V V V F F
V F V V F F F V F
F V F V V V V V V
F F F F F F F V V

Respuesta: La inferencia analizada no es válida porque su fórmula condicional es una

contingencia.

INFERENCIA DESORDENADA
Preceden a las premisas, en inferencias desordenadas, las palabras ‘puesto que’, ‘ya que’,
‘pues’, ‘porque’, ‘siempre que’, ’si’, etc.
Además, en inferencias desordenadas, la proposición inmediatamente anterior a las palabras
que preceden a las premisas es la conclusión.
Ejemplos
1. Raúl viajará a Londres, puesto que obtuvo la beca y habla correctamente el inglés
Ordenando la inferencia
Si Raúl obtuvo la beca y habla correctamente el inglés, entonces Raúl viajará a Londres.
Premisa
Si Raúl obtuvo la beca y habla correctamente el inglés.
Conclusión: Raúl viajará a Londres
2. Ningún metaloide es metal, puesto que todos los metales son cuerpos brillantes y ningún
metaloide es cuerpo brillante (inferencias desordenadas).
Ordenando la inferencia
Todos los metales son cuerpos brillantes y ningún metaloide es cuerpo brillante puesto que
ningún metaloide es metal.
Premisas:
1. Todos los metales son cuerpos brillantes y ningún metaloide es cuerpo brillante.
Conclusión: Luego, ningún metaloide es metal.

25
MATEMÁTICA I EFG
3. Si César es guitarrista, entonces es músico. César no es guitarrista puesto que no es músico.
I. Ordenado la Inferencia.
PREMISAS Y CONCLUSIÓN
1. Si César es guitarrista, entonces Cesar es músico
2. Cesar no es músico.
………………………………………………………………
Luego. César no es guitarrista.

II. Forma Lógica

PREMISAS Y CONCLUSIÓN
1. Si César es guitarrista, entonces Cesar es músico
2. Cesar no es músico
……………………………………………………………………
Luego. César no es guitarrista

III. Fórmula Lógica

Proposiciones simples
𝑝: César es guitarrista.
𝑞: César es músico.
Fórmula
1. 𝑝 → 𝑞
2. ~𝑞
………..
∴ ~𝑝
IV. Fórmula condicional: [( 𝑝 → 𝑞) ˄ (~𝑞)] → ~𝑝
V. Evaluación: Tabla de verdad
P Q [( 𝑝 → 𝑞) ˄ (~𝑞)] → ~𝑝
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

Respuesta: La inferencia analizada es válida porque su fórmula condicional es una tautología.

4. Si el embajador ha viajado, ha debido ir a Buenos Aires o a Brasilia. Debo concluir que ha
ido a Brasilia, pues ha viajado y no ha ido a Buenos Aires.
A. Ordenado la Inferencia.
PREMISAS Y CONCLUSIÓN
1. Si el embajador ha viajado, ha debido ir a Buenos Aires o a Brasilia.
2. pues ha viajado y no ha ido a Buenos Aires.
-----------------------------------------------------------------------------------------------
Luego. Que ha ido a Brasilia

26
MATEMÁTICA I EFG
B. Forma Lógica
PREMISAS Y CONCLUSIÓN
1. Si el embajador ha viajado entonces el embajador ha debido ir a Buenos Aires o el embajador
ha ido a Brasilia.
2. El embajador ha viajado y el embajador no ha ido a Buenos Aires.
------------------------------------------------------------------------------------------------------- ----------------------------
Luego. El embajador ha ido a Brasilia.

Proposiciones simples
𝑝: El embajador ha viajado.
𝑞: El embajador ha debido ir a Buenos Aires.
𝑟: El embajador ha debido ir a Brasilia.
III. Fórmula Lógica
1. 𝑝 → (𝑞 ∨ 𝑟)
2. 𝑝 ˄ ~𝑞
---------------------
∴𝑟

IV. Fórmula condicional: {[𝑝 → (𝑞 ∨ 𝑟)] ˄ ( 𝑝 ˄ ~𝑞)} → 𝒓

V. Evaluación: Tabla de valores

P Q R {[ 𝒑 → ( 𝒒 ∨ 𝒓)] ˄ (𝒑 ˄ ~𝒒)} → 𝒓
V V V V V V V V F V F F V V
V V F V V V V F F V F F V F
V F V V V F V V V V V V V V
V F F V F F F F F V V V V F
F V V F V V V V F F F F V V
F V F F V V V F F F F F V F
F F V F V F V V F F F V V V
F F F F V F F F F F F V V F

Respuesta: La inferencia analizada es válida porque su fórmula condicional es una tautología.

27