Lògica que tracta del càlcul o la deducció mitjançant quantors o quantificadors, símbols formals amb què es caracteritza als enunciats universals (generalitzador) o particulars (particularitzador). També s'anomena lògica de predicats, o de termes.

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