(~P ^ Q) ↔ (P v (~Q ^ P))
Soluções para a tarefa
Resposta:
krl achei q era carinha feliz
Explicação:
Resposta:
Ola tudo bem...
Proposições associadas a uma condicional
Proposição recíproca de p —> q : q —> p
Proposição contrária de p —> q : ~p —> ~q
Proposição contrapositiva de p —> q : ~q —> ~p
p q p —> q q —> p ~p —> ~q ~q —> ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Equivalências: p —> q <==> ~q —> ~p e q —> p <==> ~p —> ~q
A condicional (p —> q) é equivalente a sua contrapositiva (~q —> ~p) e a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q).
Explicação:
A lógica matemática trata do estudo das sentenças declarativas também conhecidas como proposições e tem por objetivo elaborar procedimentos que permitam obter um raciocínio correto na investigação da verdade, distinguindo os argumentos válidos daqueles que não o são.
O filósofo grego Aristóteles (384 - 322 a.C.) iniciou o estudo da lógica, fazendo uma representação do processo do pensamento. No século XIX o matemático inglês George Boole (1815 - 1864), criador da Álgebra Booleana, descreveu operações de lógica e de probabilidades, base da atual aritmética computacional.