As cinco funções de verdade

21 Setembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Funções; funções de verdade. Definição tabular de negação, conjunção, disjunção, implicação e equivalência. Tabelas de verdade.

A Lógica como Teoria da Consequência

19 Setembro 2017, 18:00 • Ricardo Santos

Caracterização intuitiva da relação de consequência lógica. Análise e discussão de exemplos de consequência e da sua ausência. A noção de proposição: o conteúdo das asserções, das crenças e dos pensamentos, que pode ser verdadeiro ou falso. As proposições como aquilo que a consequência relaciona. Os argumentos como sequências de proposições: premissas e conclusão. Argumento válido como aquele cuja conclusão é uma consequência lógica das premissas. Caracterização modal da consequência lógica, ou da validade: se as premissas fossem todas verdadeiras, a conclusão teria de ser verdadeira também. A validade depende apenas da forma lógica dos argumentos. A metodologia da Lógica (semelhante à usada noutros domínios científicos): construção de um modelo que representa o fenómeno a estudar. As linguagens formais e os métodos lógicos como modelos explicativos.

O Cálculo Proposicional

19 Setembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Verdade e validade, continuação. Definição semântica de argumento válido.

Apresentações pessoais e da disciplina

18 Setembro 2017, 18:00 • Ricardo Santos

Apresentações pessoais. Apresentação dos objectivos da disciplina, do programa de conteúdos, da bibliografia, da metodologia e dos elementos e regras de avaliação. Os elementos e regras de avaliação são os seguintes:

Avaliação do Semestre: Três testes escritos presenciais, com a duração de 75 minutos. A classificação final é a média das classificações obtidas nos testes.

Exame Final: Os estudantes que não efectuarem a avaliação do semestre, ou que tenham nela uma classificação negativa, podem ainda realizar um exame final, em Janeiro, com a duração de 120 minutos.

Época Especial de Avaliação: A época especial de avaliação consiste na realização de um exame escrito, em Julho, com a duração de 120 minutos.

Apresentação

18 Setembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça