"predikaatloogikast" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

kategooriliste väidete vaheliste seostega loogilises ruudus, vt joonis 11.1. Analoogia tuleneb asjaolust, et paratamatuse operaatorit saab tõlgendada üldisuskvantorina üle kõigi võimalike maailmade ja võimalikkuse operaatorit saab tõlgendada olemasolukvantorina vähemalt ühes võimalikus maailmas. (Vt õpikust alalõiku ,,Modaalse loogika kanoonilisest tõlgendusest predikaatloogika keelde ja modaalsest predikaatloogikast".) Aleetiliste väidete loogiline ruut Joonis 11.1. Aleetiliste modaalsete väidete loogiline ruut. Ruudu nurkades paiknevate operaatorite rakendamine ühele ja samale lausele tekitab tõeväärtused, mille omavahelised suhted sarnanevad tõeväärtuse suhtega kategooriliste väidete loogilises ruudus.  5 Diagonaalide otspunktides paiknevad operaatorid annavad lausele rakendamisel