"10001x0" - 1 õppematerjal

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

kehtivust kontrollivas veerus plussiga need read, milles eeldused ja lõppjäreldus on tõesed. Kui eeldused on tõesed ja lõppjäreldus ei ole, siis märgime need read miinusega. Juhul kui eeldused pole tõesed, siis märgime need read x-iga, need ei tule kehtivuse kontrollimise käigus arvesse. Süllogism on kehtiv, kui eeltoodud viisil koostatud tõeväärtustabelis on vähemalt üks plussiga rida ning ei ole miinusega ridu. 1. 2. 3. p q (p → q) & p ; q 11111+1 10001x0 01100x1 00100x0 Tabelist 10.1 on näha, et metamuutujate ainsa tõeväärtusjaotuse korral, mil süllogismi (p → q), p; q mõlemad eeldused on tõesed, on tõene ka tulem. Seega oleme tõestanud, et (p → q), p ⊨ q. Tingiva väitega modus ponens’i korral tõesustabeli meetod ei sobi, selle kehtivust peab tõestama traditsioonilisel moel. Kui hüpoteetiline eeldus p → q ja kategooriline eeldus p