Logika: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Eilutė 78:
=== Predikatų logika ===
Pagrindinis straipsnis: [[Predikatų logika|Predikatų logika]]
Predikatų logikoje yra bendras terminas formalioms sistemoms, tokioms kaip pirmos eilės logika, antros eilės logika, daugiarūšė logika ir infinitary logika.
| |||