Exercícios de Lógica Moderna

 

1. Simbolização em cálculo proposicional

 

1.1. Negação

1.2. Disjunção

1.3. Implicação

1.4. Equivalência

1.5. Conjunção

2. Simbolização em cálculo de predicados

 

3. Tabelas de Verdade

3.1. Cálculo Lógico

3.2. Histórias

4. Regras da Inferência

 

 

Voltar ao 11º Ano

Ir para Exercícios de Lógica Clássica

Hosted by www.Geocities.ws

1