ViewTube

ViewTube
Sign inSign up
Skip

Recommended videos

Marius Furter
Logic & Foundations with Haskell: Logic 8 :: Soundness of Natural Deduction for Propositional Logic
42:17
Logic & Foundations with Haskell: Logic 8 :: Soundness of Natural Deduction for Propositional Logic

331 views

1 year ago

TrevTutor
Propositional Logic in 53 Minutes
53:48
Propositional Logic in 53 Minutes

66,298 views

2 years ago

Spanning Tree
An Introduction to Propositional Logic
10:32
An Introduction to Propositional Logic

85,076 views

1 year ago

The Bright Side of Mathematics
Start Learning Logic 2 | Disjunction, Tautology and Logical Equivalence
6:43
Start Learning Logic 2 | Disjunction, Tautology and Logical Equivalence

24,889 views

3 years ago

Show more

Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic

219 views

0

Channel image

Marius Furter

4.68K subscribers

Tue, 18 Apr 2023 00:00:00 GMT
Share
We cover the semantic definitions for propositional logic which assign formulas truth values in a sigma-structure. 00:00 Introduction 00:23 Definition: sigma-structure 01:35 Definition: Truth values for LP formulas 08:47 Definition: Models, tautologies, consistency and contradictions 14:32 Definition: Logical equivalence The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg

0 Comments