Five tips for propositional logic proofs

preview_player
Показать описание
In this video I go over five simple tips for solving propositional logic proofs. These are: (i) know the various proposition types, (ii) understand the distinction between elimination and introduction rules, (iii) use elimination rules to simplify formulas in the proof, (iv) identify what introduction rule would allow you to reason to the conclusion, and (v) if all else fails use ~E or ~I (reductio ad absurdum).
_____________________________________________________
___________________________________________________________
  1. Logic & Philosophy
  2. logic
  3. symbolic logic
  4. propositional logic
  5. propositional logic proofs
Рекомендации по теме
Five tips for 0:12:13

Five tips for propositional logic proofs

Five tips for 0:08:38

Five tips for propositional logic truth trees

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Propositional Logic − 0:17:23

Propositional Logic − Logical Equivalences

Propositional Logic: The 0:53:48

Propositional Logic: The Complete Crash Course

5 Tips to 0:11:57

5 Tips to Crush Discrete Math (From a TA)

Proofs with Rules 0:07:16

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

Intro to Logical 0:06:19

Intro to Logical Statements

Conditional Statements: if 0:07:09

Conditional Statements: if p then q

Basic Truth Tables 0:08:58

Basic Truth Tables with tips and shortcuts

Propositional Logic | 0:15:58

Propositional Logic | Symbolic Logic Tutorial | Attic Philosophy

Proofs using Propositional 0:03:24

Proofs using Propositional Logic | 4-11 #1

Part 1: Symbolic 0:14:02

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

Chapter 0: [Propositional 0:07:56

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 5 - Theorems)

Proving a Tautology 0:06:24

Proving a Tautology by Using Logical Equivalences

Cosplay by b.tech 0:00:15

Cosplay by b.tech final year at IIT Kharagpur

Top 5 Tips 0:06:26

Top 5 Tips to Improve Logical Programming Skills

Pro-Choicer Defeated By 0:01:00

Pro-Choicer Defeated By Simple Logic | Kristan Hawkins | UTSA

Propositional logic | 0:09:45

Propositional logic | artificial intelligence| Lec-24 | Bhanu Priya

Logical Reasoning???#viral #vidumzn 0:00:11

Logical Reasoning???#viral #vidumzn

Propositional Logic (Solved 0:05:25

Propositional Logic (Solved Problem 5)

Propositional Logic − 0:11:18

Propositional Logic − Puzzle 1

5 Steps to 0:11:53

5 Steps to Fix Any Problem at Work | Anne Morriss | TED

5 Ways to 0:00:51

5 Ways to Improve Logic in Programming

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

oh my god. I entered discrete math really late and you are saving me! Thank you so much. :)

arikayemusic
Автор

Extremely underrated channel. This was super useful, thanks so much for the tips!

prodhab_
Автор

very helpful. video. I think you kind of lost me on tip 5. I think I heard that if you get stumped, then you try to disprove the proof, or prove its invalid. Is that right?

JeepDude