ตรรกศาสตร์อันดับหนึ่ง
Sign in to saveAlso known as first-order predicate calculus, predicate logic, quantified logic, predicate calculus, quantificational logic, FOL
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
Wikidata facts
- Subclass of
- predicate logic
Show 2 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/first-order-logic
- studied by
- mathematical logic
via Wikidata · CC0