Algunes lleis de lògica de predicats

 

Lleis d'interdefinició dels quantificadors:

Lleis aristotèliques d'oposició:

Llei d'identitat:

Llei de contradicció:

Llei de terç exclòs:

Modus ponendo ponens:

Modus tollendo tollens:

Llei d'especificació:

Llei de particularització:

__________________________________________________________

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