AULA 13

4 Novembro 2016, 09:30 • Fernando Ferreira

A negação, a disjunção e a conjunção formam um conjunto vero-funcionalmente completo de conetivos: toda a função (tabela) de verdade pode ser exprimida por uma sentença proposicional construída apenas com estes conetivos. Justificação intuitiva deste facto. Outros exemplos de conjuntos de conetivos vero-funcionalmente completos, incluindo o conetivo nem-nem que, por si só, forma um conjunto vero-funcionalmente completo.
Introdução às demonstrações informais com a implicação material.