Propositional Logic Proofs

Propositional Logic: The Complete Crash Course

This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 Well-formed Formula (wffs) 08:30 Logic Syntax 10:25 Truth ...

187.8K viewsMay 2, 2022

Propositional Logic Examples

10:32

An Introduction to Propositional Logic

YouTubeSpanning Tree

188K viewsDec 11, 2022

6:56

Introduction to Propositional Logic and Truth Tables

YouTubeMathispower4u

9K viewsJul 22, 2022

15:03

Introduction to Propositional Logic

YouTubeBrain Gainz

5.6K viewsJun 13, 2019

Top videos

7:16

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

YouTubeDr. Isabel the Linguist

161.8K viewsMar 14, 2019

5:07

Proofs with Rules of Inference 2 (Propositional Logic for Linguists 16)

YouTubeDr. Isabel the Linguist

30.2K viewsMar 14, 2019

12:13

Five tips for propositional logic proofs

YouTubeLogic & Philosophy

22.6K viewsMar 11, 2017

Propositional Logic Tutorial

19:45

Propositional Logic: The Math of Truth & Lies

YouTubeMathematiKa

67 views2 months ago

1:46:49

Artificial Intelligence 06 | Propositional Logic | DA | GATE Crash Course

YouTubeGeeksforGeeks GATE Englis

3.3K views5 months ago

1:35:53

Discrete Mathematics 06 : Propositional Logic | CS & IT | GATE 2026 Crash Course

YouTubeGATE Wallah CSE & DA

6.7K views5 months ago

7:16

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

161.8K viewsMar 14, 2019

YouTubeDr. Isabel the Linguist

5:07

Proofs with Rules of Inference 2 (Propositional Logic for Linguists 16)

30.2K viewsMar 14, 2019

YouTubeDr. Isabel the Linguist

12:13

Five tips for propositional logic proofs

22.6K viewsMar 11, 2017

YouTubeLogic & Philosophy

10:37

Propositional Logic, Proofs (Conditional introduction)

6.9K viewsJan 4, 2017

YouTubeLogic & Philosophy

44:31

Find in video from 00:29Proofs

Proofs in Propositional Logic

613 viewsNov 3, 2020

YouTubePhilosophy with Professor Parsons

Propositional Logic, Proofs (Conjunction Elimination)

6:00

Find in video from 04:01Example of Conjunction Elimination in a Proof

Propositional Logic, Proofs (Conjunction Elimination)

11.6K viewsDec 22, 2016

YouTubeLogic & Philosophy

Propositional Logic: How to Setup a Proof (Derivation)

5:29

Find in video from 01:10Setting Up the Proof

Propositional Logic: How to Setup a Proof (Derivation)

9.8K viewsJun 25, 2016

YouTubeLogic & Philosophy

Motivation & Introduction to Propositional Logic

8:14

Find in video from 02:43Purpose of logic is to construct valid arguments (or proofs).

Motivation & Introduction to Propositional Logic

512.5K viewsApr 23, 2018

YouTubeNeso Academy

51:08

19.1K viewsMar 10, 2025

YouTubeTending to Infinity

1:21:47

05 | Propositional Logic | Rules of Inference | Discrete Mathematics

11.4K viewsMar 18, 2025

YouTubeTending to Infinity

1:18:09

14.7K viewsMar 11, 2025

YouTubeTending to Infinity

12:29

BM1. Propositional Logic

43.1K viewsFeb 29, 2012

YouTubeMathDoctorBob

1:15:13

11.8K viewsMar 12, 2025

YouTubeTending to Infinity

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

9:38

Find in video from 01:01Basics of Propositional Logic

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Sectio…

5.2K viewsSep 10, 2020

YouTubeselcuk ozyurt

27:16

Propositional Logic - Negation Elimination and Introduction

11.1K viewsFeb 28, 2018

YouTubeLogic & Philosophy

13:31

Logic & Proposition: Explained With Examples

858 viewsJan 19, 2025

YouTubeDr. Manpreet Kaur

17:23

Propositional Logic − Logical Equivalences

1.1M viewsMay 19, 2018

YouTubeNeso Academy

13:35

Find in video from 00:21What is a proof?

[Logic] Proofs and Rules #1

148.9K viewsOct 26, 2014

YouTubeTrevTutor

36:59

07 | CNF | DNF | Propositional Logic | PYQ | Discrete Mathematics

9.1K viewsMay 1, 2025

YouTubeTending to Infinity

12:46

Lec-47: Questions on Propositional & Predicate logic | How to Solve Problems in Logic

104.5K viewsJan 15, 2024

YouTubeGate Smashers

4:43

8. Proof by Backward Chaining Approach Example Propositional Logic in Artificial Intelligence

39.4K viewsNov 11, 2024

YouTubeMahesh Huddar

5:10

4. Given Knowledge Base Prove Statement Inference Rules Propositional Logic AI by Mahesh Huddar

12.8K viewsNov 9, 2024

YouTubeMahesh Huddar

24:30

368.5K viewsAug 31, 2023

YouTubePradeep Giri Academy

11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

992.1K viewsJul 17, 2017

YouTubeTrevTutor

10:32

Find in video from 00:46Propositional Logic Overview

An Introduction to Propositional Logic

188K viewsDec 11, 2022

YouTubeSpanning Tree

3:38

7. Proof by Forward Chaining Example Propositional Logic in Artificial Intelligence Mahesh Huddar

53.7K viewsNov 11, 2024

YouTubeMahesh Huddar

1:28:19

06 | Propositional Logic | PYQs | Validity of Argument | Discrete Mathematics

10.4K viewsApr 6, 2025

YouTubeTending to Infinity

Propositional Logic, Proofs (Disjunction Introduction)

9:33

Find in video from 04:40Simple Proof Example with Q or not R

Propositional Logic, Proofs (Disjunction Introduction)

5.9K viewsJan 4, 2017

YouTubeLogic & Philosophy

25:57

Propositional Logic Proofs: De Morgan's Laws (DeM)

4.7K viewsOct 17, 2021

YouTubeLogic & Philosophy