Lògica cuantificacional
De Wikisofia
La revisió el 13:22, 4 juny 2018 per Jaumeortola (discussió | contribucions) (bot: - r|quantificadors]], això és, + r|quantificadors]], és a dir,)
La revisió el 13:22, 4 juny 2018 per Jaumeortola (discussió | contribucions) (bot: - r|quantificadors]], això és, + r|quantificadors]], és a dir,)
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.