Questões de Concurso sobre Simbologia dos quantificadores lógicos( Linguagem)

Nunca é verdadeiro o silogismo descrito por:

A dedução exibida a seguir é a representação, na lógica de 1.ª ordem, de um modelo de silogismo da 1.ª forma.

A seguinte cadeia de proposições pode ser traduzida como um dos quatro modelos de silogismo: Algumas mulheres não são religiosas. Todas as freiras são mulheres. Logo, algumas freiras não são religiosas.

Considerando que cada uma das três proposições de cada modelo de silogismo pode ter um dos quatro tipos de proposições categóricas, há 4³ silogismos distintos em cada modelo.

A fórmula ¬∀x(A(x) $\to$ B(x)) é equivalente a ∃x(A(x)∧¬B(x)).