18 Novembro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Teoria do Silogismo: termos, proposições, modo e figura de um silogismo. Regras de validade silogística. Exercícios.
14 Novembro 2024, 13: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
14 Novembro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
As relações entre proposições no Quadrado da Oposição: proposições contraditórias, contrárias, sub-contrárias e subalternas. O problema da implicação existencial. Quantidade dos termos em cada tipo de proposição. Definição de distribuição de um termo.
12 Novembro 2024, 13: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.2. 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.3. 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.
12 Novembro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Início do estudo da L. Aristotélica. Forma normal da proposição predicativa categórica; os quatro tipos de proposições. O Quadrado da Oposição.