SESIÓN 05

La negación correcta de "si el perico es un ave, entonces las vacas tienen alas"

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".

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".

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".

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.

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.

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