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]]
|