AULA 3
27 Setembro 2016, 10:30 • Fernando Ferreira
Especificação duma linguagem da lógica de primeira-ordem. Termos. Sentenças atómicas.
Negação, conjunção e disjunção. Ambiguidade e parênteses (árvores de formação).
As leis da dupla negação, associatividade, distributividade, De Morgan e absorção.