Lògica cuantificacional
De Wikisofia
La revisió el 19:10, 12 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "silogística" a "sil·logística")
La revisió el 19:10, 12 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "silogística" a "sil·logística")
Lògica que tracta del càlcul o la deducció mitjançant cuantores o quantificadors, això és, símbols formals amb que es caracteritza als enunciats universals (generalitzador) o particulars (particularitzador). També es diu lògica de predicats, o de termes.
Veure sil·logística.