Equivalência de Condicional e Negativação

Prévia do material em texto

Equivalência de uma condicional, ou invertemos ela e a negamos completamente, ou negamos a primeira parte e colocamos a conjunção OU:
-Se gosto de estudar e pratico esportes, então tenho uma vida saudável p->q
-Não gosto de estudar ou não pratico esportes ou tenho uma vida saudável. ~pvq
-Se não tenho uma vida saudável então não gosto de estudar ou não pratico esportes. ~q->~p
Toda cobra venenosa é listrada
Toda cobra que não é listrada não é venenosa.
Todo A é B ---> é igual a Equivalência condicional (Se não B, então não A.
Principais Equivalências;
1º P--->Q = ~Q ---> ~P - VOLTA NEGANDO
2º P--->Q = ~P V Q - dica do NE Y MA (nega a primeira e mantém a segunda)
3º P V Q = ~P --->Q - dica-crie a sua! kk
Negação
~(P  ∧ Q) = ~P v ~Q - Nega tudo e inverte o sinal
~( P v Q) = ~ P ∧ ~q - Nega tudo e inverte o sinal
Se chove, fico em casa.
Se fico em casa, vejo televisão.
Se vejo televisão, aborreço-me com as notícias
cortamos o vermelho com vermelho e o azul com azul. Então sobra:
SE CHOVE ENTÃO ABORREÇO-ME COM AS NOTÍCIAS 
SE NÃO ME ABORREÇO COM AS NOTÍCIAS ENTÃO NÃO CHOVE
Equivalência de uma condicional, ou invertemos ela e a negamos completamente, ou negamos a primeira parte e colocamos a conjunção OU:
-Se gosto de estudar e pratico esportes, então tenho uma vida saudável p->q
-Não gosto de estudar ou não pratico esportes ou tenho uma vida saudável. ~pvq
-Se não tenho uma vida saudável então não gosto de estudar ou não pratico esportes. ~q->~p
Toda cobra venenosa é listrada
Toda cobra que não é listrada não é venenosa.
Todo A é B ---> é igual a Equivalência condicional (Se não B, então não A.
Principais Equivalências;
1º P--->Q = ~Q ---> ~P - VOLTA NEGANDO
2º P--->Q = ~P V Q - dica do NE Y MA (nega a primeira e mantém a segunda)
3º P V Q = ~P --->Q - dica-crie a sua! kk
Negação
~(P  ∧ Q) = ~P v ~Q - Nega tudo e inverte o sinal
~( P v Q) = ~ P ∧ ~q - Nega tudo e inverte o sinal
Se chove, fico em casa.
Se fico em casa, vejo televisão.
Se vejo televisão, aborreço-me com as notícias
cortamos o vermelho com vermelho e o azul com azul. Então sobra:
SE CHOVE ENTÃO ABORREÇO-ME COM AS NOTÍCIAS 
SE NÃO ME ABORREÇO COM AS NOTÍCIAS ENTÃO NÃO CHOVE