Terms
311 new/unreviewed 311 total
Term
First-Order Logic (FOL)
Definition
A formal language for representing objects, relations, and functions in the world.
New/Unreviewed
Term
Constant Symbols
Definition
Symbols that refer to specific objects (e.g., Cat, Dog, John).
New/Unreviewed
Term
Predicate Symbols
Definition
Symbols representing relations or properties that are true or false (e.g., BiggerThan, BrotherOf).
New/Unreviewed
Practice Tests
0 total
(None) Completed practice tests will show up here