List of logic symbols - Wikipedia
https://en.wikipedia.org/wiki/List_of_logic_symbols17 rader · In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics.Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML …
Symbolic Logic Expressions — Sage 9.4 Reference Manual ...
https://doc.sagemath.org/html/en/reference/logic/sage/logic/logic.html31.08.2007 · Symbolic Logic Expressions ¶ An expression is created from a string that consists of the operators !, &, |, ->, <->, which correspond to the logical functions not, and, or, if then, if and only if, respectively. Variable names must start with a letter and contain only alpha-numerics and the underscore character. AUTHORS: