Introdução ao estudo da Lógica Aristotélica
9 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Tradução de frases da linguagem corrente no C. Predicados de 1ª ordem:
Tradução standard dos seguintes tipos de proposições: universal afirmativa, universal negativa, particular afirmativa e particular negativa.
Unidade semântica do cálculo: a proposição.
Início do estudo da Lógica Aristotélica: Tipos de proposições e Quadrado da Oposição.
Relações de contrariedade, sub-contrariedade e contraditoriedade.