predicate logic (Q35148)
subfield of logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | predicate logic |
subfield of logic |
Statements
Identifiers
predicate logic (English)
predikáhttalogihkka (Northern Sami)
predikaattilogiikka (Finnish)
predikatlogik (Swedish)
0 references
Sitelinks
Wikipedia(25 entries)
- afwiki Predikaatlogika
- cawiki Lògica de predicats
- cswiki Predikátová logika
- dawiki Prædikatslogik
- dewiki Prädikatenlogik
- elwiki Κατηγορηματική λογική
- enwiki Predicate logic
- eowiki Predikata logiko
- etwiki Predikaatloogika
- fawiki حساب محمولات
- fiwiki Predikaattilogiikka
- hewiki תחשיב הפרדיקטים
- jawiki 述語論理
- kkwiki Предикаттық логика
- kowiki 술어 논리
- ltwiki Predikatų logika
- mkwiki Предикатна логика
- nowiki Predikatlogikk
- ptwiki Lógica de predicados
- ruwiki Исчисление предикатов
- simplewiki Predicate logic
- skwiki Predikátová logika
- svwiki Predikatlogik
- ukwiki Логіка предикатів
- zhwiki 谓词逻辑
Wikibooks(3 entries)
- enwikibooks Formal Logic/Predicate Logic
- itwikibooks Logica matematica/Calcolo dei predicati
- jawikibooks 数理論理学/述語論理
