Logic 7: Semantics for Propositional Logic - UZH

Logic 7: Semantics for Propositional Logic

From Marius Furter

views comments

We cover the semantic definitions for propositional logic which assign formulas truth values in a sigma-structure.

Tags