Transcription of List of logic symbols - Jacson Rodrigues
{{id}} {{{paragraph}}}
List of logic symbolsFrom Wikipedia, the free encyclopedia (Redirected from Table of logic symbols )See also: Logical connectiveIn logic , a set of symbols is commonly used to express logical representation. As logicians are familiar with thesesymbols, they are not explained each time they are used. So, for students of logic , the following table lists manycommon symbols together with their name, pronunciation, and the related field of mathematics. Additionally, the thirdcolumn contains an informal definition, and the fourth column gives a short aware that, outside of logic , different symbols have the same meaning, and the same symbol has, depending on thecontext, different logic symbolsSymbolNameExplanationExamplesUnic odeValueHTMLE ntityLaTeXsymbolShould beread asCategory materialimplicationA B is truejust in the casethat either A isfalse or B istrue, or both.
1 Boolean algebra ⊥ F 0 Contradiction The statement ⊥ is unconditionally false. ⊥ ⇒ A is always true. U+22A5 ⊥ F \bot bottom, falsum propositional
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}