Raciocínio Logico - Negação de Condicional e Bicondicional

Aprenda com a professora Naiara Reis, de forma simples a fazer uma Negação lógica de Condicional e Bicondicional

[thiagoteodosio]

Otimo aula...Eu aprendi mais nas aula dela👏👏👏👏👏👏

[ricardofilipemarquesrocha]

Muito bom!! Muito Obrigado pelas dicas!!

[wilianfarias]

Só uma observação, é bom entender porque em uma negação de uma condicional
eu tenho que manter o antecedente e negar o consequente ..

Se eu digo assim :
Se fizer sol, irei a praia
O que tem que acontecer pra alguém me dizer que eu menti.??? Isso é a negação.

Fez sol e não fui a praia
Hora, eu tinha dito que se fizesse sol, eu tinha ido a praia, ne. Só que eu não fui....logo eu menti. Por isso que a negação de uma condicional, eu tenho que manter o antecedente e negar o consequente .

Só cuidado que em termos de prova, na alternativa pode estar de forma comutada, ok...assim

~ ( P → Q ) equivale à
P e ~ Q
~Q e P

[wilianfarias]

Pessoal....só uma dica... Olha só que interessante. Vou listar aqui as Negações de todas as proposicoes compostas.

1) ~ ( P e Q )
2) ~ ( P v Q )
3) ~ ( P → Q )
4) ~ ( P se e somente se Q )
5) ~ ( ou P ou Q )

Observe que a 1, 2 e 3 se eu tirar os parenteses, eu mudo o seu valor lógico, ou seja: não são equivalentes a mesma expressão sem o parêntese

Já na 4 e 5, se eu tirar o parêntese, vai permanecer o mesmo valor lógico, ou seja . São equivalentes essa mesma expressão sem os parêntese...ou seja

Na 4 eu posso escrever assim
~ P se e somente se Q
Ou então assim
P se e somente se ~ Q
Como essas duas são logicamente equivalentes a negação de uma bicondicional . Também eu posso escrever assim : com "ou" ou com "E"

(~ P se e somente se Q) v/e
(P se e somente se ~Q)

Que é a equivalência da idempotente, né...assim
P equivale a P ou P
P equivale a P e P

Por isso que acrescentei "ou" e "e" sem mudar o valor lógico, permanecendo a negação da bicondicional

Ou seja, tem várias maneiras da banca colocar a negação de uma bicondicional ...tem essas três e + 2

Assim segue da mesma maneira, a negação de uma disjuncao exclusiva.

Desculpa, ficou grande que não achei o símbolo dessa bicondicional e disjuncao exclusiva aqui e por isso escrevi..

[joelsantos]

Parabéns ! E obrigado pela explicação.