Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

 El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

 Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

Esquemes d’inferències

1) Si la primera cosa, llavors la segona cosa; però és realment la primera cosa; per tant, és la segona cosa.

2) Si la primera cosa, llavors la segona cosa; però no és la segona cosa; per tant no és la primera cosa.

3) No és el cas que la primera cosa i la segona cosa; però és la primera cosa; per tant no és la segona cosa.

4) O la primera cosa o la segona cosa; però no és la primera cosa; per tant és la segona cosa.

5) O la primera cosa o la segona cosa; però no és la segona cosa; per tant és la primera cosa.

_____________________________________________________

Segons A.N. Prior, Historia de la logica, Tecnos, Madrid 1976, p. 35

 
Formalment:
1) [(P®Q)ÙP]®Q          És la forma del modus ponens
2) [(P®Q)Ù¬Q]®¬P      És la forma del modus tollens
3) ¬(PÙQ)ÙP®¬Q que equival a (¬PÚ¬Q)ÙP®¬Q
4) (PÚQ)Ù¬P®Q
5) (PÚQ)Ù¬Q®P

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.