generated at
first-order logic
一階述語論理
ACL2 — A Computational Logic for Applicative Common Lisp
Aristotelian logic
Equiconsistency
Ehrenfeucht-Fraisse game
Extension by definitions
Extension (predicate logic)
Herbrandization
List of logic symbols
Lojban
Löwenheim number
Nonfirstorderizability
Prenex normal form
Prior Analytics
Prolog
Relational algebra
Relational model
Skolem normal form
Tarski's World
Truth table
Type (model theory)

googlefirst-order logic
Google画像検索first-order logic
Google定義検索 first-order logic
wikipediafirst-order logic
weblio first-order logic
kotobank first-order logic
jisho first-order logic