Lógica Proposicional - Método dedutivo

[@JoaoSantos-oe2ww]

Aula top , ajudou muito

[@CanalJDgamer]

Muito bem!!! Aula massa. 👏🏼👏🏼

[@felipecampos6494]

Muito top, me ajudou bastante!

[@El_d3n1ls0n]

Excelente explicação parabéns 💨

[@danielgonzagadossantos]

Obrigado 🙏

[@calebe.]

Muito bom!

[@tati_aaguilar]

Oi, Daniel! No minuto 20:00 você aplicou De Morgan, mas acho que não pode porque a negação não está em evidência e nem o q está negado. Você poderia explicar por que aplicou? No minuto 29:53 também acontece a mesma coisa. Eu não entendi, pois pelo que entendo, só posso aplicar De Morgan se tenho duas proposições negadas unidas por uma conjunção ou por uma disjunção. Por favor, me responde?

[@danielgonzagadossantos]

Olá Tatiana. Não necessariamente vc aplica De Morgan apenas quando a negação está em evidência, pois podemos (por exemplo) escrever “p” por “~~p”, ou seja negar ele duas vezes. Pra vc entender melhor aplique o De Morgan no sentido contrário (da linha 5 pra linha 4) que vc irá perceber q poderíamos sim ter aplicado De Morgan. Exemplo: ~~(~p ou q) equivale a (~p ou q). Aplicando De Morgan: ~(p e ~q). Obs. Como utilizei aqui o teclado do celular não fiz uso dos conectivos corretos.

[@tati_aaguilar]

@@danielgonzagadossantos muito obrigada pela explicação! Entendi perfeitamente! Vejo que tenho que estudar muito ainda! Sucesso para você!

[@Leossj1]

Essa questão da letra E ,13:40, eu fiz do seguinte jeito: Como você disse que tinha que chegar no Q, então comecei fazendo a Contrapositiva do (P -> Q) que seria: ~Q -> ~P, Logo a equação ficou assim: ~Q -> ~P ^ P ~Q -> F Q v F Q E pronto cheguei no Q, estaria certo se fosse assim?

[@danielgonzagadossantos]

Ok 👍

[@marcosjosefarias5638]

Excelente

[@Leossj1]

essa letra c 5:33 já tinha um parênteses e vc esqueceu de colocar?

[@filipebarbosamonfardini2416]

27:30 esta realmente correto na ultima linha?

[@danielgonzagadossantos]

Sim, vc encontrou algum erro nesta linha ou ficou alguma dúvida?

[@HenriqueSousa-bj9mv]

O que significa "tautologia"???

[@antoniosemedo7499]

Uma tabela onde todos os resultados são verdadeiros

[@VivacomJesus]

O último exercício de tarefa da ~q.

[@VivacomJesus]

A questão n°3 o resultado é ~p ^ q

[@nenepira1035]

N entendi nada