Все публикации

0:11:02

Examples of translation into SL

0:09:16

Truth tables

0:07:09

Logical validity

0:04:23

The basics of SL

0:13:06

Well-formed formulas in SL

0:11:43

negation, conjunction, and disjunction

0:10:27

Other logical concepts

0:10:44

conditional and biconditional

0:07:21

Application of truth tables

0:10:23

Symbolizing in QL

0:11:41

Proofs in SL: Theorems and proof strategy

0:09:10

Proofs in SL: the basics

0:08:50

Models in QL

0:08:58

Showing invalidity using models

0:06:34

Working some problems in Carnap

0:10:01

Showing contingency using models

0:06:33

Proofs in QL - Quantifier Negation

0:12:49

Well-formed formulas in QL

0:12:54

Proofs in QL - Universal Elimination and Existential Introduction

0:10:39

Symbolizing in QL with two predicates

0:10:09

The basics of QL

0:11:25

Models in QL (continued)

0:08:29

Symbolizing with multiple quantifiers

0:13:52

Proofs in SL: Subproofs