Introduction to Logic Online Course, Week 10: Predicate Logic Symbols & Translation

preview_player
Показать описание
An introduction to predicate logic symbols and translation, including simple statements in predicate logic, universal and existential quantifiers, universal statements, and particular statements. (College of Eastern Idaho, Fall 2020, Instructor: Zachary Fruhling)
  1. Zachary Fruhling (Fruhling Designs)
  2. Logic
  3. Introduction to Logic
  4. Intro to Logic
  5. Predicate Logic
  6. Symbols & Translation
Рекомендации по теме
Logic Pro Tutorial 2:04:57

Logic Pro Tutorial | Ultimate Beginners Course (Everything You Need to Know)

Introduction to Logic 0:59:29

Introduction to Logic Online Course, Week 10: Predicate Logic Symbols & Translation

Introduction to Logic: 0:14:15

Introduction to Logic: Welcome Video

Introduction to Logic 1:35:51

Introduction to Logic Online Course, Week 6: Rules of Replacement I, Instructor: Zachary Fruhling

Intro to Logical 0:06:19

Intro to Logical Statements

Introduction to Philosophy 0:08:20

Introduction to Philosophy and Logic

Introduction to Logic 0:38:45

Introduction to Logic Online Course, Week 15: Identity Statements in Predicate Logic

Introduction to Logic 1:44:57

Introduction to Logic Online Course, Week 3: Truth Tables for Propositions and Arguments (Validity)

Strategies for Teaching 0:23:13

Strategies for Teaching STEM: Getting Started – Robert Walsh, Part 1 (Homeschooling Every Subject)

Introduction to Logic 0:43:32

Introduction to Logic Online Course, Week 7: Rules of Replacement II (Natural Deduction)

Introduction to Logic 0:02:17

Introduction to Logic with Michael Genesereth

Intro To Logic: 0:10:09

Intro To Logic: Disjunctions

Mathematics and Logic: 0:02:15

Mathematics and Logic: From Euclid to Modern Geometry | Online Courses Trailer

Hurley's Introduction to 0:29:56

Hurley's Introduction to Logic, 13th ed. - 1.1 Arguments, Premises, and Conclusions

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

6 Logical reasoning 0:02:36

6 Logical reasoning questions to trick your brain

Introduction to Logic 0:24:45

Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Lo...

Introduction to Logic: 0:02:05

Introduction to Logic: PHILOS W12A Course Welcome

Introduction to Logic 0:47:56

Introduction to Logic Online Course, Week 14: Relational Predicates and Overlapping Quantifiers

Introduction to Logic 0:32:26

Introduction to Logic Online Course, Week 12: Quantifier Negation (QN)

Introduction to Logic 0:06:19

Introduction to Logic Families

Introduction to Logic 2:26:20

Introduction to Logic Online Course, Week 8: Conditional Proof and Indirect Proof

Introduction to Logic, 2:15:44

Introduction to Logic, Week 1: Arguments

INTRODUCTION to PROPOSITIONAL 0:11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Комментарии
Автор

In the translating section (29:32 - 33:32), wouldn't the translation rather be `(Ea v Eg) > (Sb&Sf)` otherwise at least `(Ea v Eg) (Sb&Sf)`? Or is this different in Predicate Logic?

JohanGil
Автор

47:31 I dont agree, you have to take care that if the unexperimented ones are lazy then happens the other condition it is wrong it has to be the last sentence in the firs t part

abrilthom