Logga in
Symbol | Innebörd | Exempel |
---|---|---|
⇒ | Implikation | P_1: Figuren är en kvadrat P_2: Figuren är en fyrhörning P_1 ⇒ P_2 |
⇔ | Ekvivalens | P_1: Figuren är en kvadrat P_3: Figuren har fyra rätvinkliga hörn och lika långa sidor P_1 ⇔ P_3 |
¬ | Negation | P_1: Figuren är en kvadrat ¬P_1: Figuren är inte en kvadrat |
⊥ | Motsägelse | P_4: Figuren har 4 hörn P_5: Figuren är en triangel (P_4 och P_5) ⇒⊥ |