Sumários

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.

III. Lógica Proposicional - 5

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

3. Representação da inferência válida no âmbito da Teoria das Funções de Verdade.

3.1. Determinação tabular da validade ou da invalidade de uma inferência proposicional representada por meio de uma fórmula da álgebra de proposições. 
3.2. As implicações tautológicas como paradigmas da inferência proposicional válida. 
3.3. O recurso aos diferentes modos de resolver o problema da decisão como modos de determinar a validade de uma inferência proposicional representada por meio de uma fórmula da álgebra de proposições.

4. O Cálculo Proposicional. 
4.1. O conceito de um Cálculo Proposicional, definido como uma linguagem formal dotada de um vocabulário e de uma sintaxe. 
4.2. O vocabulário do Cálculo Proposicional. 
4.3. A Sintaxe do Cálculo Proposicional
4.3.1. Distinção entre regras de formação e regras de inferência. 
4.3.1.1. As regras de formação do Cálculo Proposicional.
4.3.1.1.1. Definições de fórmula atómica e fórmula molecular do Cálculo Proposicional, de âmbito de uma conectiva e de conectivas subordinadas, subordinantes e principais no âmbito de uma fórmula.
4.3.1.2. As regras de inferência do Cálculo Proposicional.
4.3.1.2.1. Distinção entre regras primitivas de inferência e regras derivadas de inferência. 
4.3.1.2.2. As regras primitivas de inferência do Cálculo Proposicional.