Sumários
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.
Aula a ser substituída
2 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Aula a ser substituída
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.
Exercícios
1 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios. Tabelas de verdade e traduções.
Condicionais.
27 Setembro 2018, 18:00 • Ricardo Santos
A maneira-padrão de expressar a condicional na linguagem natural (em particular, na língua portuguesa), por meio da construção ‘Se A então B’. Representação formal. Antecedente e consequente. Variantes: ‘B, se A’, ‘quando A, B’, ‘B, desde que A’, ‘A só se B’, etc. Condições suficientes e condições necessárias. Análise da construção ‘A, a não ser que B’. Exercícios de formalização.