http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html
\(\neg, \land, \lor, \to, \leftrightarrow\) Negation (not), Conjuction (and), Disjunction (or), Implication (if), biconditional (iff) 13.3. atomic formulas / atomic sentences / simple sentences Sentences contain no logical connectives nor quantifiers. 13.4. molecular formulas / molecular sentences / compound sentences Sentences contain one or more logical connectives. 13.5. quantifiled formulas Sentences contain one or more quantifiers. 13.6. iff if and only if 13.7. tautology A formula that is true...