Sumários
Interpretações e contramodelos
10 Outubro 2017, 18:00 • Ricardo Santos
Limitações do método das tabelas de verdade. A análise exaustiva faz muitos cálculos inúteis. Um método mais directo: a construção de contramodelos como prova de invalidade.
Regras de Inferência
10 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Início do estudo das regras de inferência para o C. Proposicional; formas argumentativas dedutivamente válidas.MP (Modus Ponens), MT (Modus Tollens), SD (Silogismo Disjuntivo) e SH (Silogismo Hipotético).
Tabelas de verdade (continuação)
9 Outubro 2017, 18:00 • Ricardo Santos
Lógica proposicional. O uso de tabelas de verdade como teste de equivalência lógica, como teste de consistência e como teste de validade dedutiva (ou de consequência lógica). Algumas equivalências notórias: as leis de De Morgan e as formas equivalentes à condicional material. Algumas formas típicas de inferência válida: silogismo disjuntivo, modus ponens, modus tollens, silogismo hipotético, contraposição.
Inferência válida vs. implicação lógica
9 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Conclusão de exercícios de tradução.Representação de uma inferência por meio de uma implicação cujo antecedente é a conjunção das premissas e o consequente a sua conclusão. A inferência é válida se e somente se esta implicação é uma tautologia (implicação lógica).Exercícios.
Bicondicionais. Tabelas de verdade.
3 Outubro 2017, 18:00 • Ricardo Santos
A bicondicional como abreviatura da conjunção de condicionais – respectiva função de verdade. Proposições verdadeiras ou falsas em diferentes circunstâncias possíveis; fórmulas verdadeiras ou falsas em diferentes ‘interpretações’ da linguagem. O uso de tabelas de verdade para determinar o valor de verdade de fórmulas complexas nas diversas interpretações. Tautologias, contradições e fórmulas (logicamente) contingentes.