VI MANTIK ÇALIŞTAYI KİTABI

3.77 x in yalan söylemesi yasaktır
açık önermesi, bir yasak açık önermesidir. Bu açık önerme,
3.78 Yasaktır ki x yalan söyler
biçiminde de dile getirilebilir. (3.77) yasak açık önermesi ‘yalan söyler’
yüklemi ‘F’ yüklem simgesi ile gösterildikte, aşağıdaki gibi simgeleştirilir:
3.79 VFx
Bu yasak açık önermesi ‘x in F yi yapması yasaktır’ biçiminde okunur,
Öteki açık önermelerden olduğu gibi, yasak açık önermelerinden de niceleyiciler
aracılığı ile tümel ve tikel önermeler kurulur.
a) Yasak Açık Önermelerden Kurulu Tümel Önermeler
Bu önermeler, yasak açık önermelerinden tümel niceleyici aracılığı ile kurulmuş
olan önermelerdir. Örneğin,
3.80 Tüm insanlar için yalan söylemek yasaktır
önermesi, bu tür bir önermedir. (3.80) önermesi aşağıdaki gibi simgeleştirilir:
3.81 ∀xYFx
Bu önerme ‘Tüm x 1er için F yi yapmak yasaktır’ biçiminde okunur.
b) Yasak Açık Önermelerden Kurulu Tikel Önermeler
Bu önermeler yasak açık önermelerden tikel niceleyici aracılığı ile kurulmuş
olan önermelerdir. Örneğin,
3.82 Bazı insanlar için yalan söylemek yasaktır
önermesi böyle bir önermedir. (3.82) önermesi aşağıdaki gibi simgeleştirilir:
3.83 ∃xYFx
Bu önerme ‘Bazı x 1er için F yi yapmak yasaktır’ biçiminde okunur.
6) Niceleme Önermelerinden Kurulu Yasak Önermeler
a) Tümel Önermelerden Kurulu Yasak Önermeler
Bu önermeler, tümel önermelerden yasak yöneticisi aracılığı ile kurulmuş
olan önermelerdir. Örneğin,
3.84 Tüm insanların yalan söylemesi yasaktır
önermesi, bu tür bir yasak önermesidir. Bu önerme,
3.85 Yasaktır ki tüm insanlar yalan söyler
biçiminde de dile getirilebilir. (3.84) önermesi, ‘yalan söyler’ yüklemi
‘F’ yüklem simgesi ile gösterildikte, aşağıdaki gibi simgeleştirilir:
3.86 Y∀xFx
Bu önerme ‘Tüm x lerin F yi yapması yasaktır’ biçiminde okunur. (3.86)
önermesinin doğruluğu da ödev önermesinin doğruluğuna indir genir:
124