Page 15 - Microsoft Word - Lot3_GerekcelerinYazilmasiHakimlerIcinElKitabi_Matbaa
P. 15
KULLANILAN MANTIKSAL SEMBOLLERİN LİSTESİ
= değil (Olumsuzlama)
= ve (Tümel Evetleme)
= veya (Tikel Evetleme)
= ise (Koşul)
= Ancak ve ancak […] ise […] (Karşılıklı Koşul)
(x) = Bütün x’ler için geçerlidir […] (Tümel Niceleyici)
= […] gereklidir (Deontik Operatör)
13
