Sumários

III. Lógica Proposicional - 6

14 Novembro 2022, 09:30 • António José Teiga Zilhão

Regras derivadas de inferência: a regra da repetição. Regras de inferência derivadas a partir das regras primitivas e das regras de substituição (silogismo disjuntivo, dilemas construtivos e regras para a equivalência). 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. A Regra da Introdução de Teoremas (RIT). Conclusão da apresentação do módulo III do programa.


Teoria do Silogismo

10 Novembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça

Teoria do Silogismo (Aristóteles).

III. Lógica Proposicional - 5

10 Novembro 2022, 09:30 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica Proposicional.

Quadrado da Oposição

8 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Proposições subalternas. O problema da implicação existencial.

Recurso à teoria elementar dos conjuntos para elaborar a relação entre proposições no quadrado da oposição.

III. Lógica Proposicional - 4

8 Novembro 2022, 09:30 • António José Teiga Zilhão

Representação da inferência válida na teoria das funções de verdade. Determinação tabular da validade de uma inferência proposicional. As implicações tautológicas como paradigmas da inferência proposicional válida. O conceito de um Cálculo Proposicional concebido como uma linguagem formal dotada de um vocabulário e de uma sintaxe. O vocabulário do Cálculo Proposicional. A Sintaxe do Cálculo Proposicional - distinção entre regras de formação e regras de inferência. As regras de formação do Cálculo Proposicional. As regras de inferência do Cálculo Proposicional - distinção entre regras primitivas de inferência e regras derivadas de inferência. As regras primitivas de inferência do Cálculo Proposicional. As regras derivadas de inferência do Cálculo Proposicional - sua derivação a partir das regras primitivas de inferência.