Lògica cuantificacional
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Lògica que tracta del càlcul o la deducció mitjançant cuantores o quantificadors, és a dir, símbols formals amb què es caracteritza als enunciats universals (generalitzador) o particulars (particularitzador). També es diu lògica de predicats, o de termes.
Vegeu sil·logística.