Variaciones de la condicional

Dada la condicional  $p\rightarrow q$  la variación  $q\rightarrow p$  se la conoce como:

• Inversa

• Recíporca 

• Contrarecíproca

Dada la condicional  $p\rightarrow q$  la variación  $\sim p\rightarrow\sim q$  se la conoce como:

*nota el símbolo  $\sim$  también denota al operador lógico de negación.

• Inversa

• Recíporca 

• Contrarecíproca

Dada la condicional  $p\rightarrow q$  la variación  $\sim q\ \rightarrow\sim p$  se la conoce como:

*nota el símbolo  $\sim$  también denota al operador lógico de negación.

• Inversa

• Recíporca 

• Contrarecíproca

A partir de la variable proposicional  $p\rightarrow q$ :
"Si un número es divisible para 6, entonces es divisible para 3".
La Recíproca sería:
"Si un número es divisible para 3, entonces es divisible para 6".

• Verdadero

• Falso

A partir de la variable proposicional  $p\rightarrow q$ :
"Si un número es divisible para 6, entonces es divisible para 3".
La Inversa sería:
"Si un número no es divisible para 3, entonces no es divisible para 6".

• Verdadero

• Falso

A partir de la variable proposicional  $p\rightarrow q$ :
"Si un número es divisible para 6, entonces es divisible para 3".
La Contrarrecíproca sería:
"Si un número no es divisible para 6, entonces no es divisible para 3".

• Verdadero

• Falso

Si la implicación entre dos proposiciones es falsa, entonces la Recíproca entre ellas también es falsa.

• Verdadero

• Falso

Si la implicación entre dos proposiciones es verdadero, entonces la Contrarrecíproca entre ellas es falsa.

• Verdadero

• Falso

 Si la siguiente proposición: $\left(p\wedge q\right)\longrightarrow\left(r\longrightarrow t\right)$ es falsa, indicar el valor de verdad de  $(¬p→r)∨(¬t)$  

• Verdadero

• Falso