predicate logic (Q35148)
Jump to navigation
Jump to search
subfield of logic
Language | Label | Description | Also known as |
---|---|---|---|
English | predicate logic |
subfield of logic |
Statements
Identifiers
Sitelinks
Wikipedia(27 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 תחשיב הפרדיקטים
- huwiki Elsőrendű logika
- jawiki 述語論理
- kkwiki Предикаттық логика
- kowiki 술어 논리
- ltwiki Predikatų logika
- mkwiki Предикатна логика
- nlwiki Predicatenlogica
- 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 数理論理学/述語論理