Home
Explore
Settings
Sign in
Back
First-Order Logic (FOL)
A formal language for representing objects, relations, and functions in the world.
1
/311
Flip