Negação de fórmulas quantificadas
19 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Negação de fórmulas quantificadas. Compatibilidade entre os resultados da lógica contemporânea e da lógica aristotélica a este propósito.
A negação de quantores e o quadrado da oposição.