SEMBOLİK MANTIK
NİCELEME MANTIĞINDA ÖNERME ÇEŞİTLERİ
Önermeler
İçinde niceleyici sembolü
geçmeyen önermelerdir,
Niceleyici ve
önerme eklemi
bulunmaz,
Fa Fb
Niceleyici
almaz
Önerme eklemi
Genel Önermeler
İçirvde niceleyici sembolü geçen
önermelerdin
Niceleyici alır,
önerme ekimi
Bileş*
vxFx
VxGx v _Fx
birden fazla
nic»leyici ve
eklemi
Ön ermem
ÖRNEKLER
Tike
Önermeler
Bütün annehr güzokjir. (GonoI+Basitj
Ankara başkenttir. (Tek/' Basit)
Chur akıllıdır, (Wil*Basit)
Fa Fb (Toku • Bihşik)
Hkbir kod köpek d"dir, (GOlWI•BiIeşik)
Zeynep ve Yusuf kardeştir,
Bazı kediler mavi (Gerwl• Basit)
V*Fx (GorwI•Basit)
Ga (Tekil*Bas1t)
NİCELEYİCİ DEĞİLLEME (Eş DEĞERL(K) EURRLLRRI
Tümel niceleykinin tikel. tikel niceleyicinin tümel niceleyici yapılmasıdır. Tümel niceleyicinin değili tikel niceleyiciye, ti•
kel nk:eleyicinin değili tümel niceleyiciye dönüşmektedir,
Nicoloyici Doğlllomo Kuraları
Tomol Kural
Yani işlem şu şekilde yapılır:
'Değil parantez içine dağ ti lir ve değil önüne gold'ği gombol-
leri tersine çevirir.
ÖRNEKLER
"Her insanın sorunüu Olduğu doğru değildir."
"Bazı insanların sorurNu Olduğu doğru değildir."
(—3/ Si) önermesinin eş değeri,
"Hiçbir inşan sorumlu değildir," (MX
Fx önermesinin eş değeri (MX — Fxj tir
— Sx) önermesidir,
(xx Sx) önermesinin eş değeri,
"Bazı insanlar sorumlu değildir."
— Fx önermesinin eş değeri (3x
— ) Önermesidir,
Fx) tir.
