Proofs with NO PREMISES(!) ⟨08,06⟩

preview_player
Показать описание
Assumptions allow us to construct proofs with no premises. And if you can prove something without any premises, it's a logical truth.
  1. Logic with Bo
  2. language proof and logic
  3. logical truth
  4. premises
  5. subproof
  6. proof
Рекомендации по теме
Proofs with NO 0:02:26

Proofs with NO PREMISES(!) ⟨08,06⟩

Proofs with Rules 0:07:16

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

Checking The Validity 0:03:58

Checking The Validity of An Argument (Shortcut Method)

Predicate Logic Proof 0:05:54

Predicate Logic Proof Example 6: Using the Contradictory Premises Rule

Arguments with INCONSISTENT 0:02:30

Arguments with INCONSISTENT premises ⟨06,04⟩

The problem in 0:04:54

The problem in Good Will Hunting - Numberphile

Discrete Math - 0:09:40

Discrete Math - 1.7.3 Proof by Contradiction

RULES of INFERENCE 0:12:59

RULES of INFERENCE - DISCRETE MATHEMATICS

Propositional Logic − 0:17:23

Propositional Logic − Logical Equivalences

Discrete Math - 0:28:34

Discrete Math - 1.6.1 Rules of Inference for Propositional Logic

Conditional Statements: if 0:07:09

Conditional Statements: if p then q

Boolean Proof Example 0:05:38

Boolean Proof Example 7: Using Contradictory Premises and Conditionalization

Propositional Logic: The 0:53:48

Propositional Logic: The Complete Crash Course

Venn Universal & 0:09:20

Venn Universal & Particular Premises

Claims, Evidence, and 0:02:06

Claims, Evidence, and Reasoning.

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Logical Arguments - 0:08:44

Logical Arguments - Modus Ponens & Modus Tollens

Math texts, pi 0:25:30

Math texts, pi creatures, problem solving, etc. | 3blue1brown Q&A for Bilibili

Introduction to Inductive 0:03:34

Introduction to Inductive and Deductive Reasoning | Infinity Learn

Logic 101 (#39): 0:09:02

Logic 101 (#39): Proof By Contradiction/Indirect Proof

What Do I 0:01:02

What Do I Have to Prove in Florida to Win My Premises Liability Case? Injury Attorney Gary Drucker

Scientists Finally Explain 0:16:48

Scientists Finally Explain Why We See Ghosts

The Arguments for 0:17:10

The Arguments for God's Existence Tier List

(202) 8. Diagramming 0:27:01

(202) 8. Diagramming arguments: dependent independent premises

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

Hey Bo, great example. I'm struggling in my own logic class and I was hoping you could help me. I'm being asked to prove (A ∨ ￢B) → (A → B). I've tried working backward, forward, sideways, proof by contradiction, etc. I just keep getting stuck with information that isn't particularly useful. I'm not even sure how to think about the problem. Maybe it's a lack of imagination on my part. Save me O-Bo Wan, you're my only hope! (sorry that was cringe, lol)

arth
Автор

These are proofs with no premises, but how about proofs with no assumptions?

philosophyversuslogic