0|1→∧∨¬→1|0

#logic gate #boolean operators #AND OR NOT #symbolic logic #digital design #truth function #logical connective #logical operation

P→Q

#formal logic #statement #assertion #implication #conditional statement #mathematical logic #symbolic logic

[∀αβγ…∞]

#mathematical symbols #logical symbols #infinite variables #formal language #symbolic logic #endless sequence #universal quantification

➕➖✖️➗∑∫∀

#mathematical symbols #logic symbols #equations #formulas #symbolic logic #math notation #formal language