Skript Analysis 1 (Prof. Schneider)
Skript Analysis 1 (Prof. Schneider)
Skript Analysis 1 (Prof. Schneider)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
A ¬A A <br />
A<br />
A, B A ∧ B A B <br />
A B <br />
<br />
A, B A ∨ B A B<br />
<br />
<br />
A, B <br />
<br />
A, B, C <br />
¬(¬A) ⇔ A <br />
A ∧ B ⇔ B ∧ A A ∨ B ⇔ B ∨ A <br />
(A ∧ B) ∧ C ⇔ A ∧ (B ∧ C) (A ∨ B) ∨ C ⇔ A ∨ (B ∨ C) <br />
(A ∧ B) ∨ C ⇔ (A ∨ C) ∧ (B ∨ C) (A ∨ B) ∧ C ⇔ (A ∧ C) ∨ (B ∧ C) <br />
<br />
¬(A ∧ B) ⇔ ¬A ∨ ¬B ¬(A ∨ B) ⇔ ¬A ∧ ¬B
A, B <br />
A ∧ (A ⇒ B) ⇒ B<br />
¬B ∧ (A ⇒ B) ⇒ ¬A<br />
(A ⇒ B) ⇔ (¬B ⇒ ¬A)<br />
(A ⇒ B) ∧ (B ⇒ C) ⇒ (A ⇒ C)