Sumários

As quatro regras primitivas

19 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

As quatro regras primitivas: Instanciação Universal, Instanciação Existencial, Generalização Universal e Generalização Existencial. As duas restrições básicas a GU e as duas restrições básicas a IE. Constantes e variáveis.

III. Lógica Proposicional - 7

18 Novembro 2025, 09:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito do Cálculo Proposicional.

C. Predicados de 1ª Ordem

17 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

C. Predicados de 1ª Ordem: indivíduos e propriedades. Os quantificadores universal e existencial. Proposições gerais e singulares.

III. Lógica Proposicional - 6

17 Novembro 2025, 09:00 • António José Teiga Zilhão

4.3. O Cálculo Proposicional

4.3.1.2.3. As regras derivadas de inferência do Cálculo Proposicional - sua derivação a partir das regras primitivas de inferência.

4.3.1.2.3.1. Regras de inferência derivadas a partir das regras primitivas e de regras de substituição.

4.3.1.2.4. Teoremas do Cálculo Proposicional

4.3.1.2.4.1. Definição de teorema do Cálculo Proposicional.

4.3.1.2.4.2. Demonstração de alguns teoremas do Cálculo Proposicional.

4.3.1.2.4.3. Distinção entre teoremas do Cálculo Proposicional e sequentes do Cálculo Proposicional.

4.3.1.2.5. Regra da Introdução de Teoremas (RIT).

4.3.1.2.6. Consistência e Completude do Cálculo Proposicional.

4.3.1.2.7. Lista das regras do Cálculo Proposicional

Exercícios

13 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Exercícios.