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.

A disjunção. Exercícios de formalização.

25 Setembro 2018, 18:00 • Ricardo Santos

O funcionamento da disjunção na linguagem natural (em particular, na língua portuguesa). Maneiras de expressar a disjunção. Para que uma disjunção seja verdadeira, pelo menos uma das proposições que a compõem tem de ser verdadeira. A representação da conjunção na linguagem formal da Lógica Proposicional. Disjunção inclusiva e exclusiva. Exercícios de formalização.

Tabelas de Verdade

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

Construção de tabelas de verdade de proposições moleculares com duas varáveis proposicionais.

Introdução à linguagem formal da Lógica Proposicional: a negação e a conjunção.

24 Setembro 2018, 10:00 • Ricardo Santos

O funcionamento da negação na linguagem natural (em particular, na língua portuguesa). Maneiras de formar a negação. A oposição fundamental entre uma proposição e a sua negação: não podem ser ambas verdadeiras, mas uma delas tem de ser verdadeira (não podem ser ambas falsas). A representação da negação na linguagem formal da Lógica Proposicional.

O funcionamento da conjunção na linguagem natural (em particular, na língua portuguesa). Maneiras de expressar a conjunção. Para que uma conjunção seja verdadeira, as proposições que a compõem têm de ser ambas verdadeiras. A representação da conjunção na linguagem formal da Lógica Proposicional.

Funções de Verdade

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

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