Para que a proposição ¬? ∨ (? → ?) seja equivalente a proposição (? ∧ ?) → ?, são aplicadas equivalências lógicas
em (? ∧ ?) → ?. A sequência de equivalências lógicas utilizadas são
Para escrever sua resposta aqui, entre ou crie uma conta.
Lógica de Programação e Algoritmos
•UNICSUL
Compartilhar