Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro que:
Alice irá ao País das Maravilhas quando imaginar ou perder o medo. Se Alice perder o medo,
Considere como verdadeiras as seguintes afirmações:
“Algum pândego é trôpego.” “Todo pândego é nefelibata.” Deste modo, a assertiva necessariamente verdadeira é:Há uma forma de raciocínio dedutivo chamado silogismo. Nesta espécie de raciocínio, será formalmente válido o argumento cuja conclusão é consequência que necessariamente deriva das premissas. Neste sentido, corresponde a um silogismo válido:
A oposição é a espécie de inferência imediata pela qual é possível concluir uma proposição por meio de outra proposição dada, com a observância do princípio de não contradição. Neste sentido, que poderá inferir-se da verdade, falsidade ou indeterminação das proposições referidas na sequência abaixo se supusermos que a primeira é verdadeira? E se supusermos que a primeira é falsa?
1ª − Todos os comediantes que fazem sucesso são engraçados. 2ª − Nenhum comediante que faz sucesso é engraçado. 3ª − Alguns comediantes que fazem sucesso são engraçados. 4ª − Alguns comediantes que fazem sucesso não são engraçados.Em uma feira, todas as barracas que vendem batata vendem tomate, mas nenhuma barraca que vende tomate vende espinafre. Todas as barracas que vendem cenoura vendem quiabo, e algumas que vendem quiabo, vendem espinafre. Como nenhuma barraca que vende quiabo vende tomate, e como nenhuma barraca que vende cenoura vende espinafre, então,
Ao se admitir por verdadeira a declaração “Se Paulo é alto, então Gabriela não é alta”, conclui-se, de maneira correta e necessária, que se
