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