Forma Lógica

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

Determinação de diferentes formas lógicas possíveis para uma dada fórmula bem formada do Cálculo Proposicional.

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.

Continuação - tabelas de verdade

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

Construção de tabelas de verdade com n variáveis proposicionais.

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

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

Tabelas de Verdade

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

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