Facebook Like
Add link

"xrxy" - 1 õppematerjal

348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

On õnnetuid armastajaid: ∃x∃y (Rxy & ¬Ryx). Kõik on egoistid: ∀x∀y (x = y→ Rxy) ehk ∀xRxx. Leidub egoiste: ∃xRxx. Tegemist on lausetega, kuna neis valemeis ei esine muutujad vabalt. Eelnevatest näidetest ilmnesid kvantorite vahetamise reeglid. • Vahetada tohib ühetüübilisi kvantoreid, nt „Kõik armastavad kõiki”: ∀x∀yRxy = ∀y∀x Rxy, „Keegi armastab kedagi”: ∃x∃yRxy = ∃y∃xRxy. • Üldjuhul ei tohi vahetada eritüübilisi kvantoreid: ∀x∃yRxy ≠ ∃y∀xRxy, nt „Keegi ei ela armastuseta” ∀x∃yRxy muutuks Stalini valemiks ∃y∀xRxy. Nt defineerime predikaadi Exy = „x ema on y”, kus x, y ∈ I (inimeste hulk). ∀x∃yExy – igaühel on ema ≠ ∃y∀xExy – keegi on kõigi inimeste ema. • Üldisuskvantori võib tõsta eksistentsikvantori ette, siis saame lause, mis järeldub esialgsest lausest...

Õigus - Sotsiaal-Humanitaarinstituut
26 allalaadimist


Registreeri ja saadame uutele kasutajatele
faili e-mailile TASUTA

Konto olemas? Logi sisse

Faili allalaadimiseks, pead sisse logima
või
Kasutajanimi / Email
Parool

Unustasid parooli? | Tee tasuta konto

Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun