Rezolucija za propozicijsku logiku

undergraduate thesis

• Title (english): Resolution in propositional calculus
• Author: Petra Smrk
• Mentor: Sandra Lovrenčić (mentor); MBZ: 229934
• Committee member: Markus Schatten (član povjerenstva); MBZ: 291806
• Granter: University of Zagreb; Faculty of Organization and Informatics; (Department of Theoretical and Applied Foundations of Information Sciences); Varaždin
• Defense date and country: 2021-09-23, Croatia
• Scientific / art field, discipline and subdiscipline: SOCIAL SCIENCES; Information and Communication Sciences; Organization and Informatics

Abstract

Tema ovog završnog rada je rezolucija za propozicijsku logiku. Kako bi se lakše objasnila rezolucija, na početku je pojašnjena propozicijska logika, objašnjene su njena sintaksa i semantika. Opisana je metoda rezolucije, kao i pojam klauzula koji se koristi u primjerima, dokazima i objašnjenjima. Metoda kojom se dolazi do logičkog izvoda pomoću rezolucije naziva se rezolucijsko pravilo koje je potrebno slijediti kako bi rješavanje rezolucijom bilo valjano. Valjanost formule opisuje njeno stanje odnosno je li formula istinita ili lažna.

• Keywords: propozicijska logika; formalni dokaz; rezolucija
• Language: croatian
• URN:NBN: urn:nbn:hr:211:569952
• Study programme: Title: Information Systems; Study programme type: university; Study level: undergraduate; Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Open access
• Created on: 2021-09-27 04:00:46