T3

24 Setembro 2019, 10:30 • Mário Jorge Edmundo

Exemplos de interpretações de LPOs; notação prefixa e infixa para sentenças atómicas. Os conectivos booleanos da negação, conjunção e disjunção (inclusiva); nota sobre a colocação dos parênteses. Valor lógico de uma sentença com conectivos booleanos; tabelas de verdade.