Feedback
Predicate logic
Meaning
Noun
●
In Logic:
The
generic term
for
symbolic
formal systems
like
first-order logic
,
second-order logic
,
many-sorted logic
or
infinitary
logic
.
●
In Logic:
First-order logic.
Sourced from
Wiktionary
Join 10 million students and professionals writing 70% faster at QuillBot.com
Start writing better