Sumários
Quatro Restrições Básicas
28 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
As duas restrições básicas no uso de IE e as duas relativas a GU.
IV. Lógica de Predicados - 4
26 Novembro 2024, 13:00 • António José Teiga Zilhão
2. O Cálculo de Predicados.
2.2. Sintaxe do Cálculo de Predicados.
2.2.2.3. Regras derivadas de inferência.
2.2.2.3.1. As interderivabilidades quantificacionais (IDQs).
2.2.2.3.2. Alguns sequentes elementares dignos de nota.
Quatro Regras Primitivas
26 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
IU, GU, IE, GE. Principais restrições. Primeiras derivações usando estas regras.
IV. Lógica de Predicados - 3
25 Novembro 2024, 13:00 • António José Teiga Zilhão
2. O Cálculo de Predicados.
2.2. Sintaxe do Cálculo de Predicados.
2.2.2.2. Regras primitivas de inferência específicas do Cálculo de Predicados.
2.2.2.2.3. IQU
2.2.2.2.4. EQE
Quantificadores
25 Novembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça
Os quantificadores universal e existencial. Diferença entre proposições gerais e singulares. Variáveis livres e ligadas.