Na lógica clássica, um silogismo é considerado verdadeiro quando
-
A segue uma estrutura formalmente correta.
-
B sua construção é livre de contradições.
-
C corresponde a um conjunto de fatos reais.
-
D sua conclusão é consequência das premissas.