Predikaatloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Uus lehekülg: {{See artikkel| räägib predikaatloogikast laiemas mõttes; tavalise predikaatloogika kohta vaata artiklit Esimese järgu loogika}} '''Predikaatloogika''' ehk '''predikaatarvut…
 
P et:
3. rida:
 
Lihtsaim ja levinuim predikaatloogika süsteem on [[esimese järgu loogika]], mida sageli nimetataksegi lihtsalt predikaatloogikaks.
 
[[en:Predicate logic]]