Sumários

AULA CANCELADA

20 Setembro 2018, 18:00 • Ricardo Santos

Por causa das cerimónias de abertura do ano académico, o director decretou que não haveria aulas na FLUL durante a tarde.

Funções de Verdade

20 Setembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Funções de Verdade - as cinco conectivas proposicionais.

Tabelas de verdade para a negação, conjunção, a disjunção, a implicação e a equivalência.
Algumas assimetrias com as expressões correspondentes nas linguagens naturais.

A Lógica como Teoria da Consequência

18 Setembro 2018, 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.

Introdução ao Cálculo Proposicional

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

Distinção entre validade e verdade.

Distinção entre proposição atómica e proposição molecular.
A sintaxe do Cálculo Proposicional.

Apresentações pessoais e da disciplina

17 Setembro 2018, 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.