"yxexy" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

Eelnevatest näidetest ilmnesid kvantorite vahetamise reeglid. · Vahetada tohib ühetüübilisi kvantoreid, nt ,,Kõik armastavad kõiki": xyRxy = yx Rxy, ,,Keegi armastab kedagi": xyRxy = yxRxy. · Üldjuhul ei tohi vahetada eritüübilisi kvantoreid: xyRxy yxRxy, nt ,,Keegi ei ela armastuseta" xyRxy muutuks Stalini valemiks yxRxy. Nt defineerime predikaadi Exy = ,,x ema on y", kus x, y I (inimeste hulk). xyExy ­ igaühel on ema yxExy ­ keegi on kõigi inimeste ema. · Üldisuskvantori võib tõsta eksistentsikvantori ette, siis saame lause, mis järeldub esialgsest lausest (st tõese eelduse korral on lõppjäreldus alati tõene, kuid lõppjärelduslause pole täpselt sama sisuga mis eelduslause), nt ,,On keegi, kes armastab kõiki": xyRxy yxRxy. Järeldus ,,Igaühel on keegi, kes neid armastab". Kuid järeldus pole täpselt sama sisuga mis eeldus. Esimene lause väidab, et