Part 2: Symbolic Logic (WFFs & calculating truth functional statements)

preview_player
Показать описание
WFFs and how to determine the truth value of the whole based on its parts. (Truth Functional).
  1. teachphilosophy
Рекомендации по теме
Part 2: Symbolic 0:10:22

Part 2: Symbolic Logic (WFFs & calculating truth functional statements)

Predicate Logic, Valuations, 0:14:45

Predicate Logic, Valuations, Part 2 (Quantified Wffs):

Propositional Logic: Semantics, 0:08:10

Propositional Logic: Semantics, Part 2

Symbolic Logic 2: 0:08:03

Symbolic Logic 2: Main Operator, Examples

Predicate Logic Semantics 0:36:08

Predicate Logic Semantics with Variable Assignments (Part 2)

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Propositional Logic: Translation, 0:05:23

Propositional Logic: Translation, Part 1 (Atomic and Negated Wffs)

Logic Example: Translating 0:02:11

Logic Example: Translating to Symbolic Form

Part 1: Symbolic 0:14:02

Part 1: Symbolic Logic (The basics, letters, operators, connectives)

Propositional Logic Part 0:23:11

Propositional Logic Part 2: Compound Statements

MATH0005 L24: assigning 0:06:33

MATH0005 L24: assigning truth values to WFFs

Propositional Logic: Semantics, 0:14:25

Propositional Logic: Semantics, Part 1 (Interpretations and Valuations)

Analyzing an argument 0:02:13

Analyzing an argument for validity

1.2 well-formed formulas 0:08:43

1.2 well-formed formulas

CSE259: Examples Parse 0:17:01

CSE259: Examples Parse Tree and Sub-formulas

Two Exercises in 0:10:17

Two Exercises in Drawing TRUTH TABLES for COMPLEX WFFS in PROPOSITIONAL LOGIC

What is a 0:18:52

What is a well-formed formula (WFF)?

Propositional logic evaluating 0:06:36

Propositional logic evaluating wffs with truth tables

Propositional Logic: Truth 0:08:22

Propositional Logic: Truth Trees, Part 2 (Decomposition Rules)

Symbolic logic Meaning 0:00:28

Symbolic logic Meaning

truth values and 0:03:31

truth values and tables in fuzzy logic | truth values and truth tables | class 12 in hindi |shortcut

Propostional logic truth 0:33:54

Propostional logic truth tables for wffs and arguments

Propositional Logic: Syntax, 0:06:54

Propositional Logic: Syntax, Part 2

Well Formed Formula 0:06:37

Well Formed Formula || WFF || DMS || MFCS || Propositional Logic || Discrete Mathematics

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

Absolutely great video.  I really appreciate that you don't skip those "obvious" steps.  They are not so obvious for the new guys that are just learning.  Thank You!

pb
Автор

Amazingly well explained. Love your videos!

HegemonicMarxism
Автор

thank you so much for your video, this literally made me understand the whole concepts

luluke
Автор

Correct me if I am wrong, but you did not complete #5 did you?
Otherwise loved the video. It's a pleasure to hear you reason out the steps above.

kevinchang
Автор

I've never been to a logic class in my life but this stuff is interesting and fun as hell! Yes I'm a weird one.

VanIslandLights
Автор

Sir, very nice explanation .👍👍
Thanks from India 🙏🙏

mathematics
Автор

What is the last one? My answer would be T.

Richard_is_cool
Автор

First thanks for your video and that's absolutely helpful for my logic class! But I do have a question here. At 3:41 on this video when you talk about 4)B triplebar Y you give an explanation on the screen saying "Triple bar is true only when both letters are true or both letters are false", but in your first video you said "F triplebar T" would also be true, so there should be another condition that the triple bar is also true when the left letter is true and right is false. So I guess this explanation therefore is incorrect, right? Thanks.

BillyChen
Автор

Shouldn't (P->Q) be given an undetermined truth value when P is false and Q is true?

Surely you can't confirm that P implies Q only on the basis that Q is true.

As a matter of fact, by this logic, (P->Q) when both P and Q are true should also have an undetermined truth value. It's only in the case when P is true and Q is false that you can definitively say the (P->Q) statement is false. Any other combination of truth values for P and Q should give undetermined truth values for (P->Q).

c.l.
Автор

This is the weirdest ASMR video I've ever seen

__m-a-x__