MANTIK - 6

SORU
Açık Önerme

TANIM p(x): "x2 ≤ 9 , x Î Z"

İçinde en az bir değişken bulunan ve bu değişkenlere verilen değerlerle doğru açık önermesinin doğruluk kümesini bulunuz.
ya da yanlış olduğu belirlenen önermelere “Açık Önerme” denir.

Bir a sayısı p(x) açık önermesini sağlıyorsa p(a) º 1

Bir a sayısı p(x) açık önermesini sağlamıyorsa p(a) º 0

SORU
p(x): "x bir tam sayı, x2 = 16" açık önermesi için
a) Doğruluk kümesini bulunuz. b) p(3), p(0) ifadelerinin doğruluk
değerlerini bulunuz.

Melih Akgündüz Partikül Matematik

Açık Önermenin Değili

Niceleyiciler
 E
 x , p(x) açık önermesinin değili Ax, p'(x)
A ® Her / Bütün, tamamı / Evrensel niceleyici  A
 x , p(x) açık önermesinin değili Ex, p'(x)
E ® Bazı / En az bir / Varlıksal niceleyici
SORU

SORU SORU p: "Her asal sayı bir doğal sayıdır." önermesinin değilini bulunuz.
Sembolik mantık kullanılarak verilen “Bazı gerçek sayıların 2 fazlası
14’den küçüktür”
"Ax Î Z , x2 ≥ 0"
+
ifadesini sembolik mantık kullanarak
ifadesini sözel olarak ifade ediniz. ifade ediniz.