Lógica/Lógica Tradicional: diferenças entre revisões

:É de se esperar que a essa altura já saibamos como lidar com a primeira premissa. Quanto à segunda, repare que segundo ela existem Bs que não são Cs, mas ela isolada não nos permitiria determinar se existem Cs que são As mas não são Bs, ou se existem Cs que não são As e também não são Bs. Poderia haver somente um destes casos ou ambos. Mas a primeira premissa, “Todo A é B”, elimina os Cs que não As mas não são Bs. Isto nos permite determinar que, segundo as premissas, existem Cs que não são As e também não são Bs:

 

 

:Como não há premissas neste silogismo que isoladas estabelecem relação entre A e C, podemos concluir que alguns Cs não são As:

 

 

==== Diagrama de silogismos que requerem a assunção de existência do termo médio====