"lvalemit" - 1 õppematerjal

SML kordamisküsimustele vastused.

1 Lühend. L tähendab ,,Lausearvutus" (-e) 1  Tõeväärtusetabel F G F&G FG FG FG 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 Samaselt tõesed, samaselt väärad ja kehtestatavad valemid. Def 3. Lvalemit F nimetatakse · samaselt tõeseks, kui ta on igal väärtusel tõene. · samaselt vääraks, kui ta on igal väärtusel väär. Def 4. Lvalemit F nim kehtestatavaks, kui ta on vähemalt ühel väärtusel tõene. Teoreem 1. Valem F on samaselt tõene parajasti siis, kui tema eitus on samaselt väär. Tõestus. Andes valemis F esinevatele lausemuutujatele suvalise väärtustuse, näeme, et valemite F ja ¬ F tõeväärtused on vastupidised