Lògica cuantificacional
De Wikisofia
La revisió el 22:53, 10 abr 2017 per Jaumeortola (discussió | contribucions) (bot: - amb que es + amb què es)
La revisió el 22:53, 10 abr 2017 per Jaumeortola (discussió | contribucions) (bot: - amb que es + amb què es)
Lògica que tracta del càlcul o la deducció mitjançant cuantores o quantificadors, això és, símbols formals amb què es caracteritza als enunciats universals (generalitzador) o particulars (particularitzador). També es diu lògica de predicats, o de termes.
Veure sil·logística.