Sil·logisme hipotètic: diferència entre les revisions

Contingut suprimit Contingut afegit
m Corregit: la -> l'[[asserció
m Corregit: d'sil -> de sil·logisme
Línia 16:
On <math>\vdash </math> representa l'[[asserció lògica]].
 
En un altre termes, en aquest tipus d'arguments si A implica B, i B implica C, transitivament el primer (A) implica el tercer (C). Un exemple d'de sil·logisme categòric és el següent:
 
: Si no em desperto, no puc anar a la festa.