Progetto Matematika

Quanto ne sai su:

La logica dei predicati e della deduzione

Quantificatori, espressioni equivalenti, regola della contrapposizione, leggi di De Morgan, regola del modus ponens, regola del modus tollens, sillogismi