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