First Order Logic (FOL) is a “language” you learn in formal logic classes. What does it look like? Let’s take this sentence that my professor made up for class:
“Neither Phineus nor Ferb nor Candace hates Doofenshmirtz, but they all annoy him.”
It would look something like this in FOL:
¬(hates(p, d) ∨ hates(f, d) ∨ hates(c, d)) ∧ annoys(p, d) ∧ annoys(f, d) ∧ annoys(c, d)
Weird. And that’s just the simple stuff.