abbreviations (A∧B) stands for~(~A∨~B (A→B) stands for(~AVB A≡B) stands for(AB)∧(BA) Logic in Computer Science - p 6/39Abbreviations • ( A ∧ B ) stands fo r ∼ ( ∼ A ∨ ∼ B ) • ( A ⊃ B ) stands fo r ( ∼ A ∨ B ) • ( A ≡ B ) stands fo r (( A ⊃ B ) ∧ ( B ⊃ A)) Logic in Computer Science – p.6/39