MANTIK ALIŞTIRMALAR
1. Aşağıda verilen iki yönlü koşullu önermeleri, koşullu önermeler olarak yazınız,
a) p : “x = -3 <=> x2 = 9”
b) q : “x3 = 8 <=> x = 2”
2. p ≡ 0, q ≡ 1, r ≡ 1 olduğuna göre aşağıda verilen bileşik önermelerin doğruluk değerlerini bulunuz,
a) (p <=> r) <=> q
b) q <=> (p => r)
c) r <=> [(q v r) => p]
3. p : “13 asal sayı ise 13 çift tam sayıdır.” önermesinin tersini, karşıtını ve karşıt tersini yazınız.
4. (p Λ q’) => q = 0 olduğuna göre p ve q nun doğruluk değerlerini bulunuz.
5. Aşağıda verilen koşullu önermeleri en sade biçimde yazınız.
a) (p => q) Λ (p Λ q')
b) (q' => p)' v (p => q)'
c) (p v q') <=> [r' => (p' Λ q)]
ç) (p Λ q) v [p Λ (p => q)]'
6. 1 => [(p Λ q) <=> q] önermesini en sade biçimde yazınız.
7. [(p => 0)’ <=> (q => 1)] <=> 1 = p olduğunu doğruluk tablosu yardımıyla gösteriniz.