Logic 101 (#35): Disjunction Introduction

Показать описание

Disjuction introduction is a logical rule of inference that says that if p is true, then p v q is true as well. In essence, it allows you to take true statements and tack on other random statements (regardless of their truth value) using the OR operator.

This is our last rule of inference. Next time, we will begin learning proofs and proof techniques.

Рекомендации по теме

Комментарии

To be honest this one is in our daily speaking habits, but a little hidden. Have you ever heard someone say something along the lines of: "I am either dumb or something something?"
I noticed my father use this speaking patter a lot, after I first started learning PL1 language. "This is the best day of my life or am I still dreaming?"
I think you get what I try to highlight, using 'or' to combine a obviously true statement with something else without changing the sentence into a lie or false statement. Most times it is probably used in the context of dad jokes, but I thought it would be worth a comment.

qshne

Disjunction? More like "you're helping my brain to function", with regards to working with logic!

PunmasterSTP

So we assume that P = true right? because if they are false then its all false

ThemisTheotokatos

How can I prove to myself that I am a Monkey's uncle?

joke. Good videos!

timsolnze

Ik this is from 8 years ago but tysm for making these because I watched all of them and managed to get a 98 on my midterm🫡

alexa.nelson

Logic 101 (#35): Disjunction Introduction

Logic 101 (#35): Disjunction Introduction

Propositional Logic, Proofs (Disjunction Introduction)

P250, Introduction to Symbolic Logic, Lecture 7.1: Disjunction Introduction and Elimination

Rules for Disjunction

Logic 101 (#33): Conjunction Introduction

Logic 101 (#34.5): Biconditional Introduction and Elimination

Disjunction Rules

Intro To Logic: Disjunctions

IB Math Studies - Logic - Exclusive disjunction

Logic - Disjunction elimination example

Logic 101 (#6): OR/Disjunction

DISJUNCTION rules ⟨08,02⟩

Logic 101 (#36): Introduction to Proofs

P250, Introduction to Symbolic Logic, Lecture 6.5: Subproofs

Natural Deduction: Disjunction Introduction

SEM_011 - Linguistic Micro-Lectures: Disjunction (Logic)

Propositional Logic, Proofs (Conditional introduction)

Disjunction elimination and introduction

Logic13aDisjunctionElimination

Disjunction Elimination DE

Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan's Everything!)

Propositional Logic: Proofs: Rules for Disjunction

Propositional Logic: Disjunctions

Disjunction Elimination and Introduction (v)