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

m
Corregit: la -> l'[[asserció
m (Robot endreça categories)
m (Corregit: la -> l'[[asserció)
: <math>\vdash p\rightarrow r </math>
 
On <math>\vdash </math> representa la 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'sil·logisme categòric és el següent:
1.161.213

modificacions