PHL1003: Quantifiers

preview_player
Показать описание
Intro to the two most important bits of new logical structure in FOL: the universal and existential quantifiers.

This video was recorded in March 2020 and is mainly intended for students in PHL1003 at Queen's University Belfast.
  1. Roger Clarke
Рекомендации по теме
PHL1003: Quantifiers 0:11:59

PHL1003: Quantifiers

PHL1003: FOL natural 0:17:11

PHL1003: FOL natural deduction - new rules

PHL1003: Interpretations - 0:39:02

PHL1003: Interpretations - Chapter 28, Exercise C

PHL1003: FOL symbolisation 0:11:48

PHL1003: FOL symbolisation - common patterns

PHL1003 - Intro 0:06:02

PHL1003 - Intro to FOL

PHL1003: Identity 0:12:05

PHL1003: Identity

PHL1003: Interpretations 0:31:43

PHL1003: Interpretations

PHL1003: FOL natural 0:28:46

PHL1003: FOL natural deduction example

PHL1003 first steps: 0:13:45

PHL1003 first steps: names & predicates

PHL1003: Natural deduction 0:03:40

PHL1003: Natural deduction strategy update for FOL

PHL1003: Natural Deduction 0:09:20

PHL1003: Natural Deduction - a worked example

PHL2026: Russell - 0:13:25

PHL2026: Russell - quantifier notation

Logic44bMultipleQuantifiers 0:04:46

Logic44bMultipleQuantifiers

Proof in predicate 0:11:01

Proof in predicate logic 5: Quantifier Negation

1a Mathematical Proof 0:19:22

1a Mathematical Proof 2021

P250, Introduction to 0:10:28

P250, Introduction to Symbolic Logic, Lecture 10.3: FOL Interpretations

P250, Introduction to 0:13:44

P250, Introduction to Symbolic Logic, Lecture 11.1: Symbolizing English Sentences in FOL

Symbolic Logic 18: 0:10:51

Symbolic Logic 18: Identity

1.4c Propositional Symbolization 0:11:16

1.4c Propositional Symbolization 2: Advanced Conjunctions and Disjunctions

Phi 321 Formal 0:26:49

Phi 321 Formal Logic - Predicate Derivations - Rule: Universal Introduction

02.05 Expressing Natural 0:07:00

02.05 Expressing Natural Language in FOL

You're doing Natural 0:06:23

You're doing Natural Deduction wrong!

203 IA Application 0:05:53

203 IA Application | A Foolproof Guide to Natural Deduction

Video 43: Derivations 0:06:49

Video 43: Derivations in Predicate Logic, Part 1