Többértékű és fuzzy logikai rendszerek összehasonlítása

Abstract

Ez a szakdolgozat a három-, négy-, és többértékű logikáról szól. Két jelentős tudóst vettem figyelembe, Lukasiewiczet, illetve Klenee-t. Kifejtettem az álláspontjukat három- és végtelenértékű logikára. Továbbá filozófiai ötleteket találtam ki én is ezekre, illetve négyértékű logikára. Ha voltak logikai törvények az adott filozófiában, azt szemantikus táblákkal bizonyítottam. A programozást Java nyelven végeztem, ahol három általam választott filozófiát választottam ki. A programokat futtatni parancssorból a legegyszerűbb. A két tudósról egy-egy képet el is helyeztem a tárgyalás végén.