Conditionals

Antecedent (logic)

An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis. Examples: * If , then . This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if implies then is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition. * If is a man, then is mortal. " is a man" is the antecedent for this proposition. * If men have walked on the moon, then I am the king of France. Here, "men have walked on the moon" is the antecedent. Let . If then (Wikipedia).

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Introduction to Predicate Logic

This video introduces predicate logic. mathispower4u.com

From playlist Symbolic Logic and Proofs (Discrete Math)

Video thumbnail

Learning to write the inverse of a conditional statement

👉 Learn how to find the inverse of a statement. The inverse of a statement is the negation of the hypothesis and the conclusion of a conditional statement. If the hypothesis of a statement is represented by p and the conclusion is represented by q, then the conditional statement is represe

From playlist Inverse of a Statement

Video thumbnail

Writing the inverse from a conditional statement

👉 Learn how to find the inverse of a statement. The inverse of a statement is the negation of the hypothesis and the conclusion of a conditional statement. If the hypothesis of a statement is represented by p and the conclusion is represented by q, then the conditional statement is represe

From playlist Inverse of a Statement

Video thumbnail

You should know what Impredicativity is.

In this video I discuss the concept of predicativity, impredicativity and vicious circles. The text for the video is found in https://gist.github.com/Nikolaj-K/aae1f4bd582e60e6b7e5b5431fee054c

From playlist Logic

Video thumbnail

SEM122 - Predicate Logic I

This first E-Lecture on Predicate Logic is meant as a gentle introduction. It first points out why propositional logic alone is not sufficient for the formalization of sentence meaning and then introduces the central machinery of predicate logic using several examples with which the studen

From playlist VLC103 - The Nature of Meaning

Video thumbnail

Implications and Truth Conditions for Implications

This video defines an implication and when an implication is true or false.

From playlist Mathematical Statements (Discrete Math)

Video thumbnail

Maths for Programmers: Logic (Conditional Statements)

We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod

From playlist Maths for Programmers

Video thumbnail

2. Ch. 1 (Part 2/3). Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 1, Part 2 of 3. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

3. Ch. 1 (Part 3/3). Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 1, Part 3 of 3. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

7. Ch. 3, Sections 3.1 & 3.2. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Sections 3.1 & 3.2. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

8b. Ch. 3, Section 3.4. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Section 3.4. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

12. Ch. 4, Section 4.7. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 4, Section 4.7. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

10.Ch. 4, Sections 4.1-4.5. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 4, Sections 4.1 through 4.5. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

9. Ch. 3, Sections 3.5 & 3.6. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Sections 3.5 & 3.6. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

SEM_013 - Linguistic Micro-Lectures: Implication (Logic)

What is impolication (in logic) and how can the truth-value of propositions connected by logical IF ... THEN be defined? Within just two minutes Prof. Handke discusses and exemplifies the truth-conditions associated with this logical connective.

From playlist Micro-Lectures - Semantics

Video thumbnail

How to TRANSLATE ENGLISH into PROPOSITIONAL LOGIC - LOGIC

In this video on #Logic / #PhilosophicalLogic we learn how to translate English into propositional logic. We learn the five basic operators, "not", "and", "or", "if then", and "if and only if", also known as the negation, the conjunction, the disjunction, the conditional, and the biconditi

From playlist Logic in Philosophy and Mathematics

Video thumbnail

Defining and comprehending "implication" in Mathematics

I'm not a native English speaker, sorry about my pronunciation and fluency in English. If there is any kind of mistake in the video, please inform me in the comments section.

From playlist Summer of Math Exposition Youtube Videos

Related pages

Necessity and sufficiency | Denying the antecedent | Logical connective | Proposition | Affirming the consequent | Material conditional | Consequent