To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
(1) A → A
(2) (A → B) → [(B → C) → (A → C)]
(3) [A → (B → C)] → [B → (A → C)]
(4) [A → (B → C)] → (A ∧ B → C)
(5) (A ∧ B → C) → [A → (B → C)]
(6) (A → B) → [(A → C) → (A → B ∧ C)]
(7) (A → B) → (~ B → ~ A)
(8) (A → ~ A) → ~ A
(9) (A ↔ B) → (A → B)
(10) A ↔ A
(11) (A ↔ B) → (B ↔ A)
(12) (A ↔ B) → [(B ↔ C) → (A ↔ C)]
(13) (A ↔ B) → (~ A ↔ ~ B)
(14) (A ↔ B) → [(A → C) ↔ (B → C)]
(15) (A ↔ B) → [(C → A) ↔ (C → B)]
(16) (A ↔ B) → [(A ∨ C) ↔ (B ∨ C)]
(17) (A ↔ B) → [(A ∧ C) ↔ (B ∧ C)]
(18) A ∨ B ⇔ ~ A → B
(19) A → B ↔ ~ A ∨ B
(20) ~ (A ∧ B) ↔ ~ A ∨ ~ B
(21) ~ (A ∨ B) ↔ ~ A ∧ ~ B
(22) ~ ~ A ↔ A
(23) ~ (A ∧ ~ A)
(24) A ∨ ~ A
(25) (A ∧ B) ∧ C ↔ A ∧ (B ∧ C)
(26) (A ∨ B) ∨ C ↔ A ∨ (B ∨ C)
(27) A ∧ B ↔ B ∧ A
(28) A ∨ B ↔ B ∨ A
(29) A ∧ A ↔ A
(30) A ∨ A ↔ A
(31) A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C)
(32) A ∨ (B ∧ C) ↔ (A ∨ B) ∧ (A ∨ C)
(33) (A ∧ ~ A) → B
(34) (A → B) → [(~A → B) → B]
... zobacz całą notatkę
Komentarze użytkowników (0)