AULA 12
27 Outubro 2017, 09:30 • Fernando Ferreira
Nota sobre a tradução do "somente se".
O método de obter, a partir duma função proposicional, uma fórmula do cálculo proposicional em FND cuja tabela de verdade dê a função proposicional de que se partiu (o mesmo para FNC). Completude vero-funcional. O conetivo "nem nem".