โโ๐ง
๐ค๐ก๐ขโก๏ธโ
๐ง โก๏ธ1๏ธโฃ()2๏ธโฃยฒ3๏ธโฃโ๏ธโ4๏ธโฃโโ๐
๐ค๐ขโก๏ธ()๐ฅ*/+-๐ก
โโ๐ง
๐ค๐ก๐ขโก๏ธโ
๐ง โก๏ธ1๏ธโฃ()2๏ธโฃยฒ3๏ธโฃโ๏ธโ4๏ธโฃโโ๐
๐ค๐ขโก๏ธ()๐ฅ*/+-๐ก
#logical quantifier #universal quantifier #existential quantifier #predicate logic #first-order logic #math logic #formal logic #for all #there exists