Metadata
Author: WikiMatrix
Data
English[en]
For classical logics, it is generally possible to reexpress the question of the validity of a formula to one involving satisfiability, because of the relationships between the concepts expressed in the above square of opposition.
Portuguese[pt]
Para a lógica clássica, geralmente é possível reexpressar a questão da validade da fórmula para uma envolvendo satisfatibilidade, por causa da relação entre os conceitos expressados acima, no quadrado das oposições.