1.161.699
modificacions
m (Corregit: la -> l'[[asserció) |
m (Corregit: d'sil -> de sil·logisme) |
||
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
: Si no em desperto, no puc anar a la festa.
|