Aula teórica 2

19 Setembro 2019, 11: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. O uso de parêntesis na representação simbólica de asserções.