first-order logic (Q4055684)
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
- first-order predicate calculus
- predicate logic
- quantified logic
- predicate calculus
- quantificational logic
- FOL
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | first-order logic |
collection of formal systems used in mathematics, philosophy, linguistics, and computer science |
|
Statements
Identifiers
1 reference
first-order-logic · GitHub Topics (English)
19 August 2021
1 reference
1 reference
Sitelinks
Wikipedia(32 entries)
- arwiki منطق الرتبة الأولى
- cawiki Lògica de primer ordre
- cswiki Predikátová logika prvního řádu
- dewiki Prädikatenlogik erster Stufe
- elwiki Λογική πρώτου βαθμού
- enwiki First-order logic
- eowiki Predikatkalkulo
- eswiki Lógica de primer orden
- euwiki Lehen mailako logika
- fawiki منطق مرتبه اول
- frwiki Calcul des prédicats
- hewiki שפה מסדר ראשון
- huwiki Elsőrendű logika
- hywiki Պրեդիկատների տրամաբանություն
- idwiki Logika predikat tingkat pertama
- iowiki Predikatala logiko
- itwiki Teoria del primo ordine
- jawiki 一階述語論理
- kowiki 1차 논리
- nowiki Førsteordens logikk
- plwiki Rachunek predykatów pierwszego rzędu
- pswiki د لومړي ترتیب منطق
- ptwiki Lógica de primeira ordem
- ruwiki Логика первого порядка
- shwiki Logika prvog reda
- simplewiki First order logic
- srwiki Логика првог реда
- svwiki Första ordningens logik
- tlwiki Lohika ng unang orden
- ukwiki Логіка першого порядку
- viwiki Logic bậc nhất
- zhwiki 一阶逻辑
Wikibooks(1 entry)
- enwikibooks Logic for Computer Scientists/Predicate Logic