Os silogismos são formas lógicas compostas por premissas e uma conclusão que se segue delas. Um exemplo de silogismo válido é:

As proposições que compõem as premissas e a conclusão dos silogismos podem ser (I) universais ou particulares e (II) afirmativas ou negativas. Considerando estas possibilidades, é correto afirmar que a proposição.

Um argumento é considerado válido quando sua conclusão se segue logicamente das premissas. Mas um argumento pode ser logicamente válido e, mesmo assim, dar origem a uma conclusão comprovadamente falsa. Isso ocorre porque

Um dos princípios fundamentais da lógica é o da não contradição. Segundo este princípio, nenhuma proposição pode ser simultaneamente verdadeira e falsa sob o mesmo aspecto. Uma das razões da importância desse princípio é que ele permite realizar inferências e confrontar descrições diferentes do mesmo acontecimento sem o risco de se chegar a conclusões contraditórias. Assim sendo, o princípio da não contradição.

Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração “A Terra é um planeta do sistema solar”, por exemplo, é uma proposição verdadeira e a oração “O Sol gira em torno da Terra”, por sua vez, é uma proposição comprovadamente falsa. Mas nem todas as orações são proposições, pois algumas orações não podem ser consideradas nem verdadeiras e nem falsas, como é o caso da oração: