ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

51 results

IvTutor
COS3761 Modal Logic Natural Deduction Applied
28:46
COS3761 Modal Logic Natural Deduction Applied

337 views

1 year ago

IvTutor
COS3761 - Modal Logic Introduction

A new form of logic focusing on the scale of truth.

49:48
COS3761 - Modal Logic Introduction

340 views

1 year ago

IvTutor
UNISA - COS3761. Introduction to logic.
6:17
UNISA - COS3761. Introduction to logic.

453 views

2 years ago

IvTutor
UNISA - COS3761. Introduction to propositional logic
40:20
UNISA - COS3761. Introduction to propositional logic

309 views

2 years ago

IvTutor
UNISA - COS3761. Natural Deduction. Proof by Contradiction
2:55
UNISA - COS3761. Natural Deduction. Proof by Contradiction

192 views

2 years ago

IvTutor
UNISA - COS3761. Logic operators
15:34
UNISA - COS3761. Logic operators

81 views

1 year ago

IvTutor
UNISA - COS3761. Truth tables
16:52
UNISA - COS3761. Truth tables

80 views

1 year ago

IvTutor
COS3761 Modal Logic Interpretation

A look at the different definitions of the new symbols we have just Learnt.

31:35
COS3761 Modal Logic Interpretation

320 views

1 year ago

IvTutor
UNISA - COS3761. Natural Deduction. Worked examples (I)
19:13
UNISA - COS3761. Natural Deduction. Worked examples (I)

146 views

1 year ago

IvTutor
UNISA - COS3761. Natural Deduction. Disjunction Elimination
7:12
UNISA - COS3761. Natural Deduction. Disjunction Elimination

111 views

1 year ago

IvTutor
COS3761 Modal Logic Properties and Deduction Rules

We look at the properties of modal logic leading to natural deductions.

46:39
COS3761 Modal Logic Properties and Deduction Rules

264 views

1 year ago

IvTutor
UNISA - COS3761. Satisfiability
16:01
UNISA - COS3761. Satisfiability

160 views

1 year ago

IvTutor
UNISA - COS3761. Propositional logic examples (II)
7:20
UNISA - COS3761. Propositional logic examples (II)

175 views

1 year ago

TechnoRead
CSE259: Examples Parse Tree and Sub-formulas

Drawing parse trees and identifying the sub formulas for a propositional formula. Writing in CNF.

17:01
CSE259: Examples Parse Tree and Sub-formulas

4,357 views

3 years ago

IvTutor
UNISA - COS3761. Natural Deduction Conjunction. Double Negation
9:24
UNISA - COS3761. Natural Deduction Conjunction. Double Negation

179 views

2 years ago

IvTutor
UNISA - COS3761. Propositional logic examples (I)
10:00
UNISA - COS3761. Propositional logic examples (I)

152 views

2 years ago

IvTutor
UNISA - COS3761. Natural Deduction. Worked examples (III)
6:36
UNISA - COS3761. Natural Deduction. Worked examples (III)

91 views

1 year ago

IvTutor
UNISA - COS3761. Introduction to arguments
12:43
UNISA - COS3761. Introduction to arguments

56 views

1 year ago