Breve revisão da lógica clássica (1)

22 Setembro 2016, 10:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica Proposicional clássica (LP). Resolução de alguns exercícios de formalização e de raciocínio semântico. Apresentação do método das árvores para a LP. Exemplos de aplicação.