Symbolic Logic 8: Rules of Replacement

preview_player
Показать описание
In this video we learn the ten rules of replacement and see how we can apply them to our proofs.
  1. Johnny's Math
Рекомендации по теме
Symbolic Logic 8: 0:21:51

Symbolic Logic 8: Rules of Replacement

Proofs with Rules 0:07:16

Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)

Part 8 Symbolic 0:14:00

Part 8 Symbolic Logic (Easy proofs using rules of implication)

Rules of Inference 0:06:41

Rules of Inference (Propositional Logic for Linguists 14)

Rules of Inference 0:07:44

Rules of Inference - Definition & Types of Inference Rules

Part 7: Symbolic 0:15:01

Part 7: Symbolic Logic (rules of implication)

Symbolic Logic 7: 0:20:45

Symbolic Logic 7: Rules of Implication, Intro to Proofs

Logic Lesson 6: 0:20:08

Logic Lesson 6: Proofs with the Rules of Inference

Analyzing an argument 0:02:13

Analyzing an argument for validity

Symbolic Logic II: 0:23:37

Symbolic Logic II: Rules of Inference (part a)

[Logic] Proofs and 0:13:35

[Logic] Proofs and Rules #1

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Part 10 Symbolic 0:14:55

Part 10 Symbolic Logic (Rules of replacement & moderate proofs)

Symbolic Logic II: 0:32:57

Symbolic Logic II: Types of Inferences & De Morgan's Laws

part -1.symbolic logic.conditional 0:08:17

part -1.symbolic logic.conditional proof.

Symbolic Logic||Part 22 0:08:43

Symbolic Logic||Part 22 |Rules of Replacement

Propositions and Symbols 0:10:18

Propositions and Symbols Used in Symbolic Logic

RULES of INFERENCE 0:12:59

RULES of INFERENCE - DISCRETE MATHEMATICS

Logic Lesson 4: 0:21:54

Logic Lesson 4: Rules of Inference for Dilemmas

Symbolic Logic 11: 0:07:00

Symbolic Logic 11: Predicate Logic, Symbols, Translations

Proofs in Symbolic 0:08:19

Proofs in Symbolic Logic | Attic Philosophy

BA 2nd Semester_ 0:12:05

BA 2nd Semester_ Logic II_Unit-8 Rules of replacement

For Logic and 0:00:13

For Logic and Philosophy #shorts

Formal logic uses 0:00:08

Formal logic uses symbols!

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

in example no. 2, is it okay to use identity for line 4 through line 3? so that i can arrive with -N

marieerichcajuguiran
Автор

Very helpful, but I don’t understand why in the first examples of the five replacement rules you had to use commutation for having a DS?
If the rule of DS can work with ~p or ~q.

Efiimero
Автор

For the last problem in the first 5 rules, why did you use simplification on line 3? I thought that simplification was p*q/p. Following that, wouldn't you have not been able to conduce HvL but K or am I missing something?

damyriaann