14 Novembro 2023, 14:00
•
Maria Adriana Sequeira da Silva Graça
Início do estudo do C. Predicados de 1ª Ordem: alargamento da sintaxe do C. Proposicional - constantes e variáveis individuais, constantes predicativas n-árias e quantificadores (universal e existencial). Variáveis livres e ligadas. Formas proposicionais e proposições. Proposições singulares e gerais (universais ou particulares).
14 Novembro 2023, 09:30
•
António José Teiga Zilhão
A.
4.3. O Cálculo Proposicional
4.3.1.2. As regras de inferência do Cálculo Proposicional4.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.
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 das regras de substituição.
4.3.1.2.4. Teoremas do Cálculo Proposicional: definição de teorema do Cálculo Proposicional e demonstração de alguns teoremas do Cálculo Proposicional. Distinção entre teoremas do Cálculo Proposicional e sequentes do Cálculo Proposicional.
4.3.1.2.4.1. Regra da Introdução de Teoremas (RIT).
B.
Resolução de exercícios no âmbito da Lógica Proposicional.
13 Novembro 2023, 09:30
•
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.