„Elsőrendű logika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →References: kisebb formai javítások, |
a Bot: következő hozzáadása: et:Predikaatloogika következő eltávolítása: he:שפה מסדר ראשון, ko:1차 논리 |
||
155. sor:
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[et:Predikaatloogika]]
[[fa:منطق محمولات]]
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[ja:一階述語論理]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
|