| Both sides previous revisionPrevious revision | |
| meta:logical_symbols [23.01.25, 23:24:05] – external edit 127.0.0.1 | meta:logical_symbols [07.02.26, 10:06:34] (current) – [Comparisons] sascha |
|---|
| |
| ^ Symbol ^ Alternatives ^ Description ^ Article ^ | ^ Symbol ^ Alternatives ^ Description ^ Article ^ |
| ^ <var>A</var> ''≡'' <var>B</var> | <u questionable "not recommended, as also often used as symbols for the biconditional, although in many situations they signify the same thing">''↔'', ''⟷'', ''⇔'', ''⟺''</u>| „<var>A</var> is logically equivalent to <var>B</var>“ | [[glossary:logical_equivalence|Logical equivalence]] \\ (see also [[glossary:biconditional|Biconditional]] and [[glossary:contravalence|Contravalence]]) | | ^ <var>A</var> ''≡'' <var>B</var> | <u questionable "not recommended, as also often used as symbols for the biconditional, although in many situations they signify the same thing">''↔'', ''⟷'', ''⇔'', ''⟺''</u>| "<var>A</var> is logically equivalent to <var>B</var>" | [[glossary:logical_equivalence|Logical equivalence]] \\ (see also [[glossary:biconditional|Biconditional]] and [[glossary:contravalence|Contravalence]]) | |
| ^ <var>A</var> ''≢'' <var>B</var> | <u questionable "not recommended, as it can also be understood as a negation of the biconditional, although in many situations they say the same thing; Also: poor readability!">''↮'', ''⇎''</u> | „<var>A</var> is __not__ logically equivalent to <var>B</var>“ | ::: | | ^ <var>A</var> ''≢'' <var>B</var> | <u questionable "not recommended, as it can also be understood as a negation of the biconditional, although in many situations they say the same thing; Also: poor readability!">''↮'', ''⇎''</u> | "<var>A</var> is __not__ logically equivalent to <var>B</var>" | ::: | |
| |
| | ===== Distribution ===== |
| | |
| | ^ Symbol ^ Alternatives ^ Description ^ Article ^ |
| | ^ <var>A</var> ''⇑'' | ''↑''| "<var>A</var> is __up__ward entailing“ | [[glossary:upward-downward-entailment|Upward/downward entailment]] \\ (see also [[glossary:distribution|Distribution]]) | |
| | ^ <var>A</var> ''⇓'' | ''↓'' | "<var>A</var> is __down__ward entailing“ \\ „<var>A</var> is distributed“| ::: | |
| ===== Mathematical symbols ===== | ===== Mathematical symbols ===== |
| |
