Kaomojis
1️⃣∀🧍
Copy
#first-order logic
#fol
#quantification over individuals
#logic levels
#variable types
#higher-order logic contrast
#predicate calculus
#first-order logic #fol #quantification over individuals #logic levels #variable types #higher-order logic contrast #predicate calculus