Sumários
T16
12 Novembro 2019, 10:30 • Mário Jorge Edmundo
A semântica das fórmulas com variáveis livre é exprimir, no domínio de cada interpretação da linguagem, condições nessas variáveis, condições, condição universal, condição possível. O papel semântico de uma fórmula sem variáveis livres é exprimir, numa dada interpretação da linguagem, uma sentença, cujo valor lógico é determinado por indução na construção da fórmula, em particular se a fórmula é precedida de um quantificador universal (resp. existencial) ela é verdadeira se e só se a condição na variável quantificada é universal (resp. possível). Exemplos de fórmulas e do valor lógico das mesmas numa interpretação.
Implicação e equivalência material - Deduções Informais
12 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 69, 70 e 71.
Implicação e equivalência material - Deduções Informais
11 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 64(1,2,3,4,5) e 69 (continuação).
T15
8 Novembro 2019, 09:30 • Mário Jorge Edmundo
Fórmulas de uma LPO e formas aristotélicas, mais exemplos de frases e respectivas traduções para fórmulas de uma LPO; Nota sobre parênteses, exemplos; Variáveis livres numa fórmula, exemplos.