TPI.

Matemática I
Comisión 2. Fragapane-Medrano

Trabajo Práctico
Lógica Proposicional y de Primer Orden

Lógica Proposicional

1) Para cada una de las siguientes oraciones indicar si representan proposiciones o no.

a) Llueve j) ¿Miraste la novela?

b) Tal vez llueva k) Miré la novela.

c) Vos,¿Pensás que llueve? l) 3+8=11

d) Me gustaría comprar un helado m) 3+8

e) La casa de la esquina es n) 3+8 no es un número primo

grande.

f) La casa más grande de la cuadra. o) Hoy es martes.

g) Pasame el pincel finito. p) Todos los triángulos son equiláteros.

h) El tren pasó hace cinco minutos. q) ¡Hasta mañana!

i) El próximo tren va a La Plata r) Mañana rendiré el examen.

2) Dadas las siguientes expresiones, representarlas usando lógica proposicional,

identificando las proposiciones atómicas y usando los conectivos correspondientes.

1) Si llueve, entonces van a crecer más peras .

2) Si llueve, busco el impermeable y las botas.
3) Ana corrió, Juan nadó y Roque se quedó durmiendo la siesta.
4) Vine en tren, voy a volver en colectivo o caminando.
5) Si Lucia se puede concentrar y Mara está inspirada, entonces va a ser un lindo
partido.
6) Si paso por la biblioteca o voy hasta el centro de estudiantes, entonces voy a
conseguir el libro de Mate I y las fotocopias para Inglés.
7) Pedro o Juan hablan.
8) Hoy vamos al cine pero no a comer.
9) El 159 te deja en mi casa, el 85 no.
10) Una de dos: o me pasás a buscar o me llamas un remis.

1
 11) Si tenés un perro sos feliz y si no no.
12) No llevé ni malla ni ojotas.
13) No es cierto que llevé malla y ojotas.
14) Si llueve entonces es martes.
15) Si es martes entonces llueve.
16) Llueve exactamente los martes ( osea, todos los martes y ningún otro día)
17) Llueve solamente los martes( o sea, siempre que llueve, es martes)
18) Llueve todos los martes.
19) Para entrar, alcanza con que Pedro o Ana hayan traído la llave.
20) Para que Juan apruebe la materia, es suficiente que le dedique tiempo y atención.
21) Es necesario que Juan apruebe si dedica tiempo y atención a la materia.
22) Para que Juan apruebe la materia alcanza con que le dedique tiempo y atención.
23) Juan aprueba la materia si y sólo si le dedica tiempo y atención.

3) Para cada una de las siguientes expresiones: determinar si es o no una fórmula

proposicional bien formada. En el caso que sí lo sea, eliminar paréntesis si no son
necesarios, o bien agregar paréntesis para llevarla a la definición formal.

a)𝑝 ∨ ¬𝑞 f)𝑝 ∧ 𝑞 ∧ 𝑟

b)𝑝 ∨∧ 𝑞 g)𝑝 ∧ 𝑞 ∨ 𝑟

c)¬¬¬𝑝 h) (𝑝 ∨ 𝑞)

d)¬𝑝¬𝑞 i)((𝑝 ∨ 𝑞) → 𝑟)

e)¬𝑝 → ¬𝑞 ∨ 𝑟 j)¬(𝑝 ∨ 𝑞) → 𝑝

4) Construir las tablas de verdad de las siguientes fórmulas [Link] indicar

para cada una de ellas si se trata de una tautología, de una contradicción o de una
contingencia.

a)(𝑝 ∨ 𝑞) → 𝑝 i)(𝑝 → 𝑞) → (𝑞 → 𝑝)

b)(𝑝 ∧ 𝑞) → 𝑝 j)(𝑝 → 𝑞) → 𝑝

c)(𝑝 ∧ 𝑞) → (𝑞 ∧ 𝑝) k)¬(𝑝 ∧ 𝑞)

d)(𝑝 ∧ 𝑞) → (𝑞 ∨ 𝑝) l)(𝑝 ⊻ 𝑞) ⊻ 𝑟

e)𝑝 → (𝑝 ∧ 𝑞) m)¬(𝑝 ⊻𝑞)) ∧ 𝑟

f)𝑝 → (𝑝 ∨ 𝑞) n)(𝑝 ↔ 𝑞) → (𝑝 → 𝑞)

g)𝑝 → (𝑝 ∧ 𝑝) ñ)¬(𝑝 ∧ 𝑞) → ¬𝑝

h)(𝑝 ∧ 𝑞) ∨ 𝑟 → 𝑟 o)(𝑝 → 𝑞) → (¬𝑞 → ¬𝑝)

2
5) Determinar el valor de verdad de las fórmulas proposicionales a partir de la información
dada:

a) (𝑝 ∨ 𝑞) → 𝑝 𝑣(𝑝) = 𝑉
b) (𝑝 ∧ 𝑞) → 𝑝 𝑣(𝑝) = 𝐹
c) (𝑝⊻𝑞) ∧ (𝑟 ↔ 𝑠) 𝑣(𝑝) = 𝑣(𝑟) = 𝑉 𝑣(𝑞) = 𝑣(𝑠) = 𝐹
d) 𝑝 → ((𝑝 ∧ 𝑞) ∨ 𝑟) 𝑣(𝑝) = 𝐹 𝑣(𝑟) = 𝑉
e) (𝑝 ∨ ¬𝑞) → (𝑝 → 𝑞) 𝑣(𝑝) = 𝑉 𝑣(𝑞) = 𝐹
f) ¬(𝑝 ∧ 𝑞) ∧ (𝑟 → 𝑠) 𝑣(𝑞) = 𝑣(𝑟) = 𝑣(𝑠) = 𝐹 𝑣(𝑝) = 𝑉
g) (((¬𝑝 ∨ 𝑞) ∧ (𝑠 ∨ ¬𝑝)) ∨ 𝑟) → (𝑝 ∨ 𝑞) 𝑣(𝑝) = 𝑉
h) (𝑝 ∧ ¬(𝑞 ∨ 𝑟)) ∨ 𝑠 𝑣(𝑞) = 𝑣(𝑟) = 𝑣(𝑠) = 𝐹 𝑣(𝑝) = 𝑉

6) En cada caso, dada la valuación de la proposición compuesta compleja ( a la que

llamaremos A) y las valuaciones que se dan de algunas proposiciones, hallar la valuación
de las que se piden.

a) 𝐴 = (𝑝 ∨ ¬𝑞) ↔ (𝑟 → 𝑠) 𝑣(𝐴) = 𝐹 𝑣(𝑟) = 𝐹 hallar 𝑣(𝑝), 𝑣(𝑞)

b) 𝐴 = ¬(𝑝 ∧ 𝑞)⊻(𝑟 ∨ 𝑠) 𝑣(𝐴) = 𝑉 𝑣(𝑟) = 𝑉 hallar 𝑣(𝑝), 𝑣(𝑞)
c) 𝐴 = (𝑝⊻𝑞) ∧ ¬(𝑟 ∨ 𝑠) 𝑣(𝐴) = 𝑉 𝑣(𝑝) = 𝑉 hallar 𝑣(𝑞), 𝑣(𝑟), 𝑣(𝑠)

7) Determinar si la información indicada es suficiente para determinar el valor de verdad de

las siguientes fórmulas proposicionales.

a) (𝑝 ∨ 𝑞) → (𝑝 ∨ 𝑟) 𝑣(𝑝) = 𝑉
b) (𝑝 ∨ 𝑞) → 𝑝 𝑣(𝑝) = 𝐹
c) (¬𝑝 ∨ 𝑞) → (𝑝 → 𝑞) 𝑠𝑖𝑛 𝑖𝑛𝑓𝑜𝑟𝑚𝑎𝑐𝑖ó𝑛
d) ¬(𝑝 ∧ 𝑞) ↔ (𝑝 ∧ 𝑞) 𝑣(𝑝) = 𝑉
e) (𝑝 ∧ ¬(𝑞 ∨ 𝑟)) ∨ 𝑠 𝑣(𝑞) = 𝑣(𝑠) = 𝐹

8) A partir de considerar como cierto “ Si hoy es martes entonces llueve”

Indicar, considerando como cierto los siguientes casos, si se puede obtener alguna
conclusión, y si se puede, indicar cuál es la conclusión que se obtiene.
a)hoy es martes
b) hoy es miércoles
c)hoy llueve
d)hoy no llueve

9) Obtener una forma proposicional más simple equivalente a la dada utilizando leyes
lógicas:
a)(𝑝 ∨ (𝑝 → ¬𝑝)) ∧ 𝑞
b) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ 𝑝
c)(𝑝 ∧ (𝑞 ∨ 𝑟)) ∨ (¬𝑟 → 𝑞)
d)¬(¬𝑝 ∨ ¬𝑞) ∨ (𝑝 ∧ ¬𝑞)

3
10) Demostrar que las siguientes fórmulas son equivalentes usando leyes lógicas

a) ¬𝑝 → 𝑝 ⇔ 𝑝
b) 𝑝 → (𝑞 ∧ 𝑟 ∧ 𝑠) ⇔ (𝑝 → 𝑞) ∧ (𝑝 → 𝑠) ∧ (𝑝 → 𝑟)
c) 𝑝 → (𝑞 ∨ ¬(¬𝑞 ∨ 𝑝)) ⇔ 𝑝 → 𝑞
d) ¬(𝑝 ∧ ¬𝑞) ⇔ 𝑝 → 𝑞
e) ¬(𝑞 ∧ (𝑝 ∧ ¬𝑟)) ⇔ 𝑞 → (𝑝 → 𝑟)
f) ¬((𝑝 ∧ 𝑞) → ¬𝑟) ⇔ 𝑝 ∧ 𝑞 ∧ 𝑟
g) 𝑝 ∧ 𝑞 ∧ (𝑝 ∨ 𝑟) ⇔ 𝑝 ∧ 𝑞
h) 𝑝→𝑞 ⇔ ¬𝑞 → ¬𝑝
i) 𝑝 → 𝑞 ⇔ (𝑝 ∧ ¬𝑞) → 𝐹
j) 𝑝 → (𝑞 ∨ 𝑟) ⇔ (𝑝 ∧ ¬𝑞) → 𝑟
k) 𝑝 → (𝑞 ∨ 𝑟 ∨ 𝑠 ∨ 𝑡) ⇔ (𝑝 ∧ ¬𝑞 ∧ ¬𝑠 ∧ ¬𝑡) → 𝑟

11) Demostrar usando leyes lógicas las relaciones de consecuencia entre las fórmulas que
siguen.
a) ¬𝑝 → 𝑝 ⇒ 𝑝
b) (𝑝 → 𝑞) ∧ 𝑝 ⇒𝑞
c) ¬𝑝 ⇒ ¬(𝑝 ∧ 𝑞)
d) (𝑝 → 𝑞) ∧ ¬𝑞 ⇒ ¬𝑝
e) 𝑝 → 𝑟 ⇒ (𝑝 ∧ 𝑞) → 𝑟
f) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ 𝑝 ⇒ 𝑟
g) 𝑝 ⇒ ¬(¬𝑝 ∧ (𝑞 → 𝑟))
h) (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (𝑟 → (𝑠 ∧ 𝑡)) ∧ (𝑝 ∨ 𝑞) ⇒ 𝑠
i) 𝑝 ∧ (𝑞 ∨ ((𝑟 ∨ ((𝑠 ∨ 𝑡) → 𝑟)) ∧ 𝑞)) ⇒ 𝑞

12) Considerando cada uno de los ítems del punto 11. Escribir la relación de consecuencia
recíproca, luego, si constituye una consecuencia lógica demostrarlo mediante leyes lógicas,
y si no mostrarlo armando una valuación.

13) Demostrar la validez de los siguientes razonamientos utilizando el método de

derivaciones:

𝑝→𝑟 ¬𝑝 → 𝑟 ¬𝑝 𝑝→𝑞
𝑟 → ¬𝑞 𝑝→𝑞 ∨ 𝑠 𝑝∨𝑞 𝑟∧𝑝
¬¬𝑞 ¬𝑟 ∧ 𝑢 ______ 𝑞↔𝑠
______ _________ 𝑞 _______
¬𝑝 ¬𝑞 → 𝑠 𝑞∧𝑠

4
14) Se sabe que :
Juan fue a Mar del Plata o a Miramar.
Si Juan fue a Mar del Plata, entonces trajo almejas.
Si Juan fue a Miramar, entonces trajo almejas.
Luego, Juan trajo almejas.
Formalizar dicho razonamiento y demostrar que es válido aplicando el método de
derivaciones.

15) Sabemos que Roque, o bien está cursando mate 1, o bien está cursando Intro y Orga,
pero no ambas cosas ( o sea, no está cursando las tres). Nos enteramos también que no
está cursando [Link] el razonamiento y demostrar usando leyes lógicas que está
cursando Mate 1.

16) Indicar si los siguientes razonamientos son válidos o no. Justificar

𝑝 𝑝 ∨ (𝑞 ∧ 𝑟) 𝑝→𝑟
¬𝑞 → ¬𝑝 𝑠 → (¬(𝑝 ∨ 𝑞)) 𝑞→𝑟
________ 𝑠∨𝑡 𝑟→𝑠 ∧ 𝑡
𝑞 __________ 𝑝∨𝑞
𝑡 _________
¬𝑠

5
Lógica de predicados de primer orden

17) Indicar cuáles de los siguientes enunciados son esquemas proposicionales, definir un
conjunto universal para aquellos que lo son y su correspondiente conjunto de verdad.
a)|𝑥| = 3
b)2|𝑥 𝑦 5|𝑥
2
c)𝑥 + 1
2
d)𝑥 = 1
e) x es una provincia de Argentina
f)La calle x
g) x es un número par.

18) Simbolizar mediante lógica de predicados el siguiente conjunto de oraciones, indicando

el “diccionario empleado”

Todos los arquitectos que no tienen sueño escuchan radio.

Todos los jóvenes, o bien tienen sueño, o bien juegan con la computadora.
Marcos es un arquitecto que juega con la computadora.
No hay nadie que escuche radio y que además juegue con la computadora.
Hay al menos una persona que no es arquitecto, escucha radio y tiene sueño.

19)Dados los siguientes predicados y sus respectivos conjuntos universales, indicar el

conjunto de verdad correspondiente:
a. q(x): El número x es menor o igual que 4
con U = ℕ
b. r(x): x2 =1
con U = ℝ
c. r(x): x2 =1
con U = Z
d. s(x): 𝑥 + 3 es un número par.
con U={1,2,3,4,5,6,7,8,9,10,11,12}

20) Dado U={2, 4, 6, 8, 10, 12, 14, 16, 18, 20} y las funciones proposicionales:

p(x): x es un número primo.

q(x): x es divisible por 4
r(x): x es múltiplo de 10
s(x)= x es par

6
Determinar el conjunto de verdad de cada uno de los siguientes esquemas proposicionales:

a)¬𝑝(𝑥) c)𝑞(𝑥) ∧ 𝑟(𝑥) e)𝑟(𝑥) → 𝑠(𝑥) g) 𝑠(𝑥) ∧ 𝑝(𝑥)

b)𝑟(𝑥) ∨ 𝑞(𝑥) d) 𝑞(𝑥) → 𝑟(𝑥) f)𝑟(𝑥) ↔ 𝑞(𝑥) h) (𝑝(𝑥) → 𝑞(𝑥)) ∧ 𝑝(𝑥)

21) Considerando el ejercicio anterior, anteponer a cada esquema proposicional, el

cuantificador universal y hallar el valor de verdad de la proposición obtenida. Realizar el
mismo análisis , si se antepone ahora el cuantificador existencial.

22) Para cada esquema proposicional que se presenta, elegir dos universos, uno en el que
valga la fórmula que resulta de anteceder el cuantificador universal, y otro en el que valga
solamente la fórmula correspondiente al existencial . El primer conjunto debe tener al
menos dos elementos, y en general debe ser lo más amplio posible (exceptuando el
esquema del punto d)
2
a) 𝑥 =9
b) 𝑥 < 10
c) 𝑥/2 ∈ 𝑁
d) La banda de rock 𝑥 es argentina.

23)Dado un Universo, algunos esquemas proposicionales y sus respectivos conjuntos de

verdad. Analizar el valor de verdad de cada una de las fórmulas proposicionales.
U=[a,b,c,d,e,f,g,h} donde a= Ariel, b= Beatriz, c= Cristian, d= Débora, e= Ezequiel, f=
Fernando, g= Gastón, h= Helena
Predicados:
𝑝(𝑥): 𝑥 𝑒𝑠𝑡á 𝑐𝑢𝑟𝑠𝑎𝑛𝑑𝑜 𝑀𝑎𝑡𝑒 𝐼
𝑞(𝑥): 𝑥 𝑒𝑠𝑡á 𝑐𝑢𝑟𝑠𝑎𝑛𝑑𝑜 𝐼𝑛𝑡𝑟𝑜
𝑟(𝑥): 𝑥 ℎ𝑖𝑧𝑜 𝑒𝑙 𝑖𝑛𝑔𝑟𝑒𝑠𝑜 𝑒𝑙 𝑎ñ𝑜 𝑝𝑎𝑠𝑎𝑑𝑜.
𝑠(𝑥): 𝑥 𝑦𝑎 𝑡𝑖𝑒𝑛𝑒 𝑎𝑝𝑟𝑜𝑏𝑎𝑑𝑜 𝐼𝑛𝑡𝑟𝑜
Conjunto de verdad de 𝑝(𝑥): 𝑃 = {𝑎, 𝑐, 𝑒, ℎ}
Conjunto de verdad de 𝑞(𝑥): 𝑄 = {𝑏, 𝑐, 𝑑, 𝑓, 𝑔}
Conjunto de verdad de 𝑟(𝑥): 𝑅 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒}
Conjunto de verdad de 𝑠(𝑥): 𝑆 = {𝑑, ℎ}

1. ∀𝑥: 𝑟(𝑥) → (𝑝(𝑥) ∨ 𝑞(𝑥))

2. ∃𝑥: 𝑝(𝑥) ∧ ¬𝑟(𝑥)
3. ∀𝑥: (𝑝(𝑥) ∧ 𝑟(𝑥)) → ¬𝑞(𝑥)
4. ∃𝑥: (𝑝(𝑥) ∧ 𝑞(𝑥)) ∧ ¬𝑟(𝑥)
5. ∃𝑥: 𝑝(𝑥) ∧ 𝑠(𝑥)
6. ∀𝑥: 𝑝(𝑥) → (𝑠(𝑥) ∨ ¬𝑟(𝑥))

Dar una traducción de todas las fórmulas al lenguaje natural.

7
24) Escribir de dos maneras diferentes las negaciones de la siguientes proposiciones:

𝑎) ∃𝑥: 𝑥 + 5 > 2
2
𝑏) ∀𝑥: 𝑥 + 4 > 0
𝑥
𝑐) ∃𝑥: 2
=5

25) Demostrar usando leyes lógicas estas relaciones de consecuencia entre fórmulas:

a) (∀𝑥: 𝑝(𝑥) → (𝑞(𝑥) ∧ 𝑟(𝑥))) ∧ (∀𝑥: (𝑟(𝑥) ∨ 𝑠(𝑥)) → 𝑡(𝑥)) ∧ 𝑝(𝑎) ⇒ 𝑡(𝑎)
b) ¬(∀𝑥: 𝑝(𝑥) → 𝑞(𝑥)) ⇒ ∃𝑥: 𝑝(𝑥)
c) ¬(∃𝑥: ¬𝑝(𝑥) ∧ ¬𝑞(𝑥))∧ ¬𝑝(𝑎) ⇒ 𝑞(𝑎)
d) ¬(∀𝑥: 𝑝(𝑥) ∨ 𝑞(𝑥)) ⇒ ∃𝑥: 𝑞(𝑥) → 𝑟(𝑥)
e) (¬(∃𝑥: ¬𝑝(𝑥) ∧ 𝑞(𝑥)) ∧ (∀𝑥: 𝑝(𝑥) → 𝑟(𝑥)) ∧ 𝑞(𝑎) ⇒ 𝑟(𝑎)
f) (∀𝑥: 𝑝(𝑥) → 𝑞(𝑥)) ∧ ∀𝑦: 𝑝(𝑦) → ∀𝑧: 𝑞(𝑧)

26) Formalizar los siguientes razonamientos. Probar su validez mediante el método de

derivaciones.

a)Considerando como Universal al conjunto b)Considerando como Universal a todos los

de los nombres de las mascotas de los seres humanos.
alumnos de la Comisión 2.
Todos los hombres son mortales.
Los mamíferos tienen pelo. Sócrates es hombre.
Los perros son mamíferos. Luego, Sócrates es mortal.
Luego, los perros tienen pelo.

c)Considerando como Universal al conjunto d) Considerando como Universal a los

de todos los filósofos modernos números naturales.

Todos los filósofos son empiristas o Todos los números terminados en 0 son
racionalistas. pares.
Hume era filósofo y no racionalista. Algunos múltiplos de 5 terminan en 0.
Por lo tanto, hume era empirista. Por lo tanto, algunos múltiplos de 5 son
pares.

27) Siendo 𝑈 = {1, 2, 3, 4} determinar el conjunto de verdad de 𝑝(𝑥, 𝑦): 𝑥 ≤ 𝑦 . Luego,

indicar el valor de verdad de las siguientes proposiciones:
a) ∃𝑥∀𝑦: 𝑥 ≤ 𝑦
b) ∃𝑦∀𝑥: 𝑥 ≤ 𝑦
c) ∀𝑥∃𝑦: 𝑥 ≤ 𝑦
d)∀𝑦∃𝑥: 𝑥 ≤ 𝑦

8
e)∀𝑥∀𝑦: 𝑥 ≤ 𝑦
f) ∀𝑦∀𝑥: 𝑥 ≤ 𝑦
g)∃𝑥∃𝑦: 𝑥 ≤ 𝑦
h)∃𝑦∃𝑥: 𝑥 ≤ 𝑦

28)Dado un Universo, algunos esquemas proposicionales y sus respectivos conjuntos de

verdad. Analizar el valor de verdad de cada una de las fórmulas proposicionales.
U={a,b,c,d} donde a= arándano, b=banana,c=cereza, d=damasco.

El siguiente predicado binario: 𝑝(𝑥, 𝑦) = 𝑥 𝑡𝑖𝑒𝑛𝑒 𝑙𝑎𝑠 𝑚𝑖𝑠𝑚𝑎𝑠 𝑜 𝑚á𝑠 𝑐𝑎𝑙𝑜𝑟í𝑎𝑠 𝑞𝑢𝑒 𝑦
Conjunto de verdad de
𝑝(𝑥, 𝑦): 𝑃 = {(𝑎, 𝑎), (𝑑, 𝑎), (𝑑, 𝑑), (𝑐, 𝑐), (𝑐, 𝑎)(𝑐, 𝑑), (𝑏, 𝑏), (𝑏, 𝑎), (𝑏, 𝑐), (𝑏, 𝑑)}

1. ∀𝑥∃𝑦: 𝑝(𝑥, 𝑦)
2. ∃𝑥∀𝑦: 𝑝(𝑥, 𝑦)

29)Sea un Universo 𝑈 = {1, 2, 3, 4} y los siguientes predicados binarios:

𝑝(𝑥, 𝑦): 𝑥 = 𝑦 , 𝑞(𝑥, 𝑦): 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 𝑦 y 𝑟(𝑥, 𝑦): 𝑥 + 𝑦 < 4

Indicar el valor de verdad de:

∃𝑥. ∀𝑦: 𝑞(𝑥, 𝑦) ∨ 𝑟(𝑥, 𝑦)
∃𝑦. ∀𝑥: 𝑞(𝑥, 𝑦) ∨ 𝑟(𝑥, 𝑦)
∀𝑥. ∃𝑦: 𝑟(𝑥, 𝑦) → 𝑝(𝑥, 𝑦)
∀𝑥. ∀𝑦: 𝑝(𝑥, 𝑦) ∧ 𝑞(𝑥, 𝑦) → 𝑟(𝑥, 𝑦)

30) Empleando notación matemática, expresar simbólicamente los siguientes enunciados y

determinar en cada caso el valor de verdad.
a) El cociente entre dos números reales positivos es menor que su producto.
b) Existen dos números enteros tales que su suma es igual a 1.
c) La suma de los cuadrados de dos números reales es siempre mayor que 0.
d) Existe un número natural x menor que cualquier número natural.

31) Escribir en lenguaje formal el siguiente enunciado:

a)“Sea 𝑥 ∈ 𝑁 tal que si x es un número múltiplo de 4 entonces es múltiplo de 2”
b) “La suma de dos números pares es un número par”
Luego escribir el condicional recíproco, contrario y contrarrecíproco de cada uno.

32) Demostrar que los siguientes condicionales son verdaderos ( se sugiere el método
indicado)
a) Si el producto de dos números es par y uno es impar, entonces el otro es par.
(absurdo)

9
 b) Si un número es mayor que 10, entonces el resultado de sumarle 3 es mayor que
10. (contrarrecíproco)
c) Si 8. 𝑎 es menor o igual que 15 + 3. 𝑎, entonces 𝑎 ≤ 3. (Directo)
d) Si el resultado de multiplicar un número por dos y a lo que da sumarle uno, o bien es
menor que 21, o bien es mayor que 61;entonces el número es o bien menor que 10
o bien mayor que 30. (Contrarrecíproco)
e) Si un número es múltiplo de 3,entonces el resultado de sumarle 6 es múltiplo de 3.
( Directo)
f) Si un número al cubo es menor que 1000, entonces el número es menor que 10.
( Contrarrecíproco)
g) Si la suma de dos números es menor que 10, entonces alguno de los dos es menor
que 5. (Absurdo)

33) Refutar las siguientes afirmaciones:

a) Si un número es múltiplo de 3 y de 5, entonces es impar.

2 2
b) Para cualquier número n natural, o bien 𝑛 − (𝑛 − 1) < 20, o bien
2 2
𝑛 − (𝑛 − 1) > 50.
c) Si sumo dos múltiplos de 3, el resultado es o bien múltiplo de 6 o bien múltiplo de 9.
d) El cuadrado de cualquier número entero es par.
e) Si un número es par, entonces su sucesor es múltiplo de 3.
f) Si la suma de dos números es mayor o igual que 10, entonces alguno de los dos es
estrictamente mayor que 5.
g) Sean a,b,c números naturales, si 2𝑎 + 3𝑏 + 4𝑐 ≥ 90 entonces 𝑎 > 10 ó 𝑏 > 10.

10
LEYES DE EQUIVALENCIA LÓGICA (para Proposicional y Primer Orden)

A,B,C representan fórmulas proposiciones cualesquiera

V es una tautología y F una contradicción

Asociativa (𝐴 ∧ 𝐵) ∧ 𝐶 ⇔ 𝐴 ∧ (𝐵 ∧ 𝐶)
(𝐴 ∨ 𝐵) ∨ 𝐶 ⇔ 𝐴 ∨ (𝐵 ∨ 𝐶)

Conmutativa 𝐴 ∧ 𝐵⇔𝐵 ∧ 𝐴
𝐴 ∨ 𝐵⇔𝐵 ∨ 𝐴

Distributiva 𝐴 ∧ (𝐵 ∨ 𝐶) ⇔ (𝐴 ∧ 𝐵) ∨ (𝐴 ∧ 𝐶)
𝐴 ∨ (𝐵 ∧ 𝐶) ⇔ (𝐴 ∨ 𝐵) ∧ (𝐴 ∨ 𝐶)

Involución o doble negación ¬(¬𝐴) ⇔ 𝐴

Constantes ¬𝑉 ⇔ 𝐹
¬𝐹 ⇔ 𝑉

De Morgan ¬(𝐴 ∧ 𝐵) ⇔ ¬𝐴 ∨ ¬𝐵
¬(𝐴 ∨ 𝐵) ⇔ ¬𝐴 ∧ ¬𝐵

Idempotencia 𝐴 ∧ 𝐴⇔𝐴
𝐴 ∨ 𝐴⇔𝐴

Identidad 𝐴 ∧ 𝑉⇔𝐴
𝐴 ∨ 𝐹⇔𝐴

Dominación 𝐴 ∧ 𝐹⇔𝐹
𝐴 ∨ 𝑉⇔𝑉

Complementación 𝐴 ∧ ¬𝐴 ⇔ 𝐹
𝐴 ∨ ¬𝐴 ⇔ 𝑉

Absorción 𝐴 ∧ (𝐴 ∨ 𝐵) ⇔ 𝐴
𝐴 ∨ (𝐴 ∧ 𝐵) ⇔ 𝐴

Definición de condicional (𝐴 → 𝐵) ⇔ ¬𝐴 ∨ 𝐵

Negación del condicional ¬(𝐴 → 𝐵) ⇔ 𝐴 ∧ ¬𝐵

Contrarrecíproco (𝐴 → 𝐵) ⇔ (¬𝐵 → ¬𝐴)

Definición de bicondicional 𝐴 ↔ 𝐵 ⇔ (𝐴 → 𝐵) ∧ (𝐵 → 𝐴)

Definición de disyunción exclusiva 𝐴⩡ 𝐵 ⇔ (𝐴 ∨ 𝐵) ∧ ¬(𝐴 ∧ 𝐵)

𝐴⩡𝐵 ⇔ (𝐴 ∧ ¬𝐵) ∨ (𝐵 ∧ ¬𝐴)

11
LEYES DE CONSECUENCIA LÓGICA (para proposicional y primer orden)

Simplificación (𝐴 ∧ 𝐵) ⇒ 𝐴
(𝐴 ∧ 𝐵) ⇒ 𝐵

Adición 𝐴 ⇒ (𝐴 ∨ 𝐵)
𝐵 ⇒ (𝐴 ∨ 𝐵)

Modus Ponens (𝐴 → 𝐵) ∧ 𝐴 ⇒ 𝐵

Modus Ponens con ∨ (𝐴 → 𝐶) ∧ (𝐵 → 𝐶) ∧ (𝐴 ∨ 𝐵) ⇒ 𝐶

Modus Tollens (𝐴 → 𝐵) ∧ ¬𝐵 ⇒ ¬𝐴

Silogismo Hipotético (𝐴 → 𝐵) ∧ (𝐵 → 𝐶) ⇒ (𝐴 → 𝐶)

Silogismo Disyuntivo (𝐴 ∨ 𝐵) ∧ ¬𝐴 ⇒ 𝐵

Transitividad del bicondicional (𝐴 ↔ 𝐵) ∧ (𝐵 ↔ 𝐶) ⇒ (𝐴 ↔ 𝐶)

LEYES LÓGICAS (para Primer Orden)

Universal negado ¬(∀𝑥: 𝐴) ⇔ ∃𝑥: ¬𝐴

Existencial negado ¬(∃𝑥: 𝐴) ⇔ ∀𝑥: ¬𝐴

Universal /conjunción ∀𝑥: (𝐴 ∧ 𝐵) ⇔ ∀𝑥: 𝐴 ∧ ∀𝑥: 𝐵

Existencial/disyunción ∃𝑥: (𝐴 ∨ 𝐵) ⇔ ∃𝑥: 𝐴 ∨ ∃𝑥: 𝐵

Universal constante ∀𝑥: 𝐴[𝑥] ⇒ 𝐴[𝑎] (a es una constante)

Generalización 𝐴[𝑥] ⇒ ∀𝑥: 𝐴[𝑥]

Universal variable ∀𝑥: 𝐴[𝑥] ⇒ 𝐴[𝑦]

(y es una variable no cuantificada en 𝐴[𝑥])

Testigo ∃𝑥: 𝐴[𝑥] ⇒ 𝐴[𝑎]

a es una nueva constante

Existencial 𝐴[𝑎] ⇒ ∃𝑥: 𝐴{𝑥]

12