www.spargalkes.lt

Logikos teorijos špera

SUTRUMPINTOS TEISINGUMO LENTELĖS

Mes naudojame teisingumo lenteles, kai norime nustatyti ar formulė tapačiai teisinga, ar iš duotų formulių išplaukia kita formulė. Tačiau, kad įrodyti, ar formulė yra tapačiai teisinga, ar formulė logiškai išplaukia, dažnai yra paprasčiau taikyti teoremas. Jeigu mums reikia įrodyti, kad formulė nėra tapačiai teisinga ar logiškai išplaukia, mums nereikia sudarinėti pilnos teisingumo lentelės. Tereikia surasti tinkamą eilutę, kuri tai įrodytų. Jeigu vis dėlto tenka atlikti daug skaičiavimų pagal teisingumo lenteles, tai galima panaudoti metodą, pagreitinantį skaičiavimą. Jo esmė tokia, kad t ir k reikšmės priskiriamos vienintelei raidei. Raidė pasirenkama ta, kuri dažniausiai naudojama formulėje. Tuomet formulė supaprastėja. Po to t ir k reikšmės priskiriamos kokiai nors kitai raidei. Panagrinėkime kokio nors dvejetainio ryšio σ pradinę teisingumo lentelę. Jeigu mes formulei A priskiriame reikšmes t arba k, tai esant fiksuotoms A reikšmėms A σ B lentelė tampa vienetinio ryšio, priklausančio nuo B, lentele.

Failai:
FailasFailo dydisParsisiųsta
Parsisiųsti šį failą (020c066cd7cbd8b07425ccc7564cb924.zip)Logikos teorijos špera36 Kb11
Neteisinga

 
Logika Logikos teorijos špera
www.kvepalai.ltkvepalai.ltwww.spargalkes.ltspargalkes.ltwww.tytuvenai.lttytuvenai.lt