Enquanto houver um louco, um poeta e um amante, haverá sonho, amor e fantasia.
E enquanto houver sonho, amor e fantasia, haverá esperança.
Logo, enquanto houver um louco, há esperança.
formalizando:
( A ∧ B ∧ C ) → ( D ∧ E ∧ F )
( D ∧ E ∧ F ) → G
∴ A → G
caso o valor de A seja falso, toda a conjunção ( A ∧ B ∧ C ) resultará falsa, logo, a validade do silogismo hipotético está assegurada:
A B ∴ ( A → B )
V V V V V
V F V F F
F V F V V
F F F V F
visto que a condicional só resulta falsa no caso de o antecedente ser verdadeiro e o consequente ser falso (circunstância impedida pela segunda premissa), a condicional, neste caso, será sempre verdadeira, estando assim garantida a validade do argumento.
