Back منطق الرتبة الأولى Arabic Lògica de primer ordre Catalan Predikátová logika prvního řádu Czech Prädikatenlogik erster Stufe German Λογική πρώτου βαθμού Greek First-order logic English Predikatkalkulo Esperanto Lógica de primer orden Spanish منطق مرتبه اول Persian Calcul des prédicats French
Lehen mailako logika, predikatuen logika, logika kuantifikatzailea edo predikatuen kalkulua ere deitzen dena, lehen ordenako hizkuntzen inferentzia aztertzeko diseinatutako sistema formala da.[1][2] Predikatuak, haien propietateak eta eragiketak aztertzen dituen logika. Aldagai eta kuantifikatzaileen bidez lan egiten du. Predikatuen logikak proposizioen barne-egitura hartzen du kontuan.[3] Lehen ordenako lengoaiak, era berean, banakako aldagaiei bakarrik eragiten dien zenbatzaileak dituzten lengoaia formalak dira, eta argumentuak, konstanteak edo aldagai indibidualak dituzten predikatuak eta funtzioak baino ez dira.[1]
Lehen ordenako logikak, logika proposizionala baino adierazkortasun-maila altuagoa du.
- ↑ a b (Ingelesez) Blackburn, Simon. (2008-01-01). The Oxford Dictionary of Philosophy. Oxford University Press doi:. ISBN 978-0-19-954143-0. (Noiz kontsultatua: 2020-06-16).
- ↑ Arrazola Iturbe, Joseba Xabier. (2009). «Logika eta logikak: begirada bat logika ez-klasikoei» Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria 9 (1): 15–62. ISSN 1577-9424. (Noiz kontsultatua: 2020-06-16).
- ↑ «Predikatu-logika» zthiztegia.elhuyar.eus (Elhuyar) (Noiz kontsultatua: 2020-06-16).