Tautologia i zaprzeczanie Kamil: 1. Sprawdzic, czy nastepujace wyrazenia sa prawami rachunku zdan (tautologiami): a) (p ⋁ q) ) ⇒ q b) (p ⇔ q) ) ⇒ (∼p ⇔ ∼q) c) [(p ⋀ q) ⇒ r] ⇒ {[p ⋀ (∼r)] ⇒ (∼q)} d) {(∼p) ⇒ [q ⋀ (∼q)]} ⇒ p 2. Napisac zaprzeczenie zdan a) ∃x ∊ R |logx| > 1 b) ∀x ∊ N x > 3 ⇒ x² = 1