Sumários
Tabelas de verdade (continuação)
9 Outubro 2018, 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.
Tabelas de verdade
8 Outubro 2018, 18:00 • Ricardo Santos
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.
A semântica da lógica proposicional. O caso difícil da condicional material.
4 Outubro 2018, 18:00 • Ricardo Santos
A semântica da lógica proposicional. Funções de verdade: negação, conjunção, disjunção, condicional e biciondicional. A semântica da condicional material. Análise de exemplos problemáticos. Formas argumentativas, válidas e inválidas, envolvendo a condicional. Argumentos em defesa da tabela tradicional, segundo a qual uma condicional é falsa se tiver antecedente verdadeira e consequente falsa, e é verdadeira em todos os outros casos. Semântica e pragmática: frases literalmente verdadeiras, mas cuja asserção é inapropriada (ou enganadora) em certas circunstâncias. A condicional material como aquele sentido de ‘se… então…’ em que ‘Se A, então B’ é equivalente a ‘Não é o caso que (A e não B)’.
Formalização de argumentos na lógica proposicional.
2 Outubro 2018, 18:00 • Ricardo Santos
Exercícios de formalização de argumentos inteiros dados na linguagem natural. Construção de um dicionário. Formalização das premissas e da conclusão. Análise intuitiva da validade do argumento.
Condicionais e bicondicionais. Formalização.
1 Outubro 2018, 18:00 • Ricardo Santos
Mais formalizações com condicionais. A bicondicional (‘A se e só se B’) como abreviatura de duas condicionais (‘A se B e A só se B’). Exercícios de formalização de frases complexas e de argumentos inteiros.