Estrategias de razonamiento (CFI)

Interciclo 2022
Mgtr. Virginia Tala
 Negación de
conjunción y disyunción

Para negar la conjunción y la disyunción, usamos las
Leyes de De Morgan.

 La negación de una conjunción equivale a la disyunción

de las negaciones.
~ 𝑝 ˄ 𝑞 ≡ ~𝑝 ˅ ~𝑞
 La negación de una disyunción equivale a la conjunción
de las negaciones.
~ 𝑝 ˅ 𝑞 ≡ ~𝑝 ˄ ~𝑞
 Negación de
condicional y bicondicional

Para negar la implicación y la doble implicación, se usan otras
proposiciones equivalentes.

Condicional o implicación
~ 𝑝 → 𝑞 ≡ 𝑝 ˄ ~𝑞

Bicondicional o doble implicación

~ 𝑝 ↔ 𝑞 ≡ (𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑝)

OJO ¡no se usan las Leyes de De Morgan!

 Negación de condicional

Condicional o implicación
~ 𝑝 → 𝑞 ≡ 𝑝 ˄ ~𝑞
Ejemplos:
1) Si hoy es martes entonces te llevo al cine.
Negación: Hoy es martes y no te llevo al cine.

2) Si el rio suena, es porque piedras trae.

…primero encontramos la directa…
Directa: Si el río suena entonces piedras trae.
Negación: El río suena y no trae piedras.
 Negación de condicional

Condicional o implicación
~ 𝒑 → 𝒒 ≡ 𝒑 ˄ ~𝒒
Ejemplos:

1) ~(𝑎 → 𝑏)

2) ~ ~𝑟 → 𝑠

3) ~ 𝑠 → ~𝑡

4) ~(~𝑚 → ~𝑛)
 Negación de condicional

Condicional o implicación
~ 𝒑 → 𝒒 ≡ 𝒑 ˄ ~𝒒

Ejemplos (resueltos):

1) ~(𝑎 → 𝑏) ≡ 𝑎 ˄ ~𝑏

2) ~ ~𝑟 → 𝑠 ≡ (~𝑟 ˄ ~𝑠)

3) ~ 𝑠 → ~𝑡 ≡ (𝑠 ˄ 𝑡)

4) ~(~𝑚 → ~𝑛) ≡ (~𝑚 ˄ 𝑛)

Negación de bicondicional

Bicondicional o doble implicación
~ 𝑝 ↔ 𝑞 ≡ (𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑝)
Ejemplos:
1) Veremos la salida del Sol si y solo sí no está nublado.
Negación: Veremos la salida del Sol y está nublado o
no está nublado y no veremos la salida del Sol.

2) Las tortugas son reptiles si y solo sí los pájaros son aves.

Negación: Las tortugas son reptiles y los pájaros no son aves o
los pájaros son aves y las tortugas no son reptiles.
 Algunas negaciones de
bicondicional

Bicondicional o doble implicación
~ 𝑝 ↔ 𝑞 ≡ (𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑝)
Ejemplos:

1) ~(𝑎 ↔ 𝑏)

2) ~ ~𝑟 ↔ 𝑠

3) ~ 𝑠 ↔ ~𝑡

4) ~(~𝑚 ↔ ~𝑛)
 Algunas negaciones de
bicondicional

Bicondicional o doble implicación
~ 𝑝 ↔ 𝑞 ≡ (𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑝)

Ejemplos (resueltos):

1) ~(𝑎 ↔ 𝑏) ≡ (𝑎 ˄ ~𝑏) ˅ (𝑏 ˄ ~𝑎)

2) ~ ~𝑟 ↔ 𝑠 ≡ (~𝑟 ˄ ~s) ˅ (𝑠 ˄ r)

3) ~ 𝑠 ↔ ~𝑡 ≡ 𝑠 ˄ 𝑡 ˅ (~𝑡 ˄ ~𝑠)

4) ~(~𝑚 ↔ ~𝑛) ≡ ~𝑚 ˄ 𝑛 ˅ (~𝑛 ˄ 𝑚)

Variantes de la condicional

Existen otras proposiciones relacionadas con la implicación
p→q
Si el antecedente y el consecuente se intercambian, se niegan
o las dos anteriores, se forma una nueva proposición.
Variantes de la condicional

Ahora agreguemos contenido a las proposiciones.
Si tienes 18 años entonces puedes votar.
p: tienes 18 años q: puedes votar
Proposición Simbolización Forma verbal

Directa p→q

Recíproca q→p

Inversa ~p→~q

Contrapositiva ~q→~p
Variantes de la condicional

Ahora agreguemos contenido a las proposiciones.
Si tienes 18 años entonces puedes votar.
p: tienes 18 años q: puedes votar
Proposición Simbolización Forma verbal

Directa p→q Si tienes 18 años entonces puedes votar.

Recíproca q→p Si puedes votar entonces tienes 18 años.

Inversa ~p→~q Si no tienes 18 años entonces no puedes

votar.

Contrapositiva ~q→~p Si no puedes votar entonces no tienes 18

años.