Aula teórica 3

13 Outubro 2020, 09:30 • Maria da Purificação Antunes Coelho

Tabela de verdade da implicação material. Antecedente e consequente de uma implicação. Apresentação informal de algumas regras de inferência envolvendo a implicação, nomeadamente as  regras Modus Ponens  e Modus Tollens. Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes.