Immediate inference

Inverse (logic)

In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form , the inverse refers to the sentence . Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other. For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition "If it's raining, then Sam will meet Jack at the movies." would be "If it's not raining, then Sam will not meet Jack at the movies." The inverse of the inverse, that is, the inverse of , is , and since the double negation of any statement is equivalent to the original statement in classical logic, the inverse of the inverse is logically equivalent to the original conditional . Thus it is permissible to say that and are inverses of each other. Likewise, and are inverses of each other. The inverse and the converse of a conditional are logically equivalent to each other, just as the conditional and its contrapositive are logically equivalent to each other. But the inverse of a conditional cannot be inferred from the conditional itself (e.g., the conditional might be true while its inverse might be false). For example, the sentence "If it's not raining, Sam will not meet Jack at the movies" cannot be inferred from the sentence "If it's raining, Sam will meet Jack at the movies" because in the case where it's not raining, additional conditions may still prompt Sam and Jack to meet at the movies, such as: "If it's not raining and Jack is craving popcorn, Sam will meet Jack at the movies." In traditional logic, where there are four named types of categorical propositions, only forms A (i.e., "All S are P") and E ("All S are not P") have an inverse. To find the inverse of these categorical propositions, one must: replace the subject and the predicate of the inverted by their respective contradictories, and change the quantity from universal to particular. That is: * "All S are P" (A form) becomes "Some non-S are non-P". * "All S are not P" (E form) becomes "Some non-S are not non-P". (Wikipedia).

Video thumbnail

Math 030 Calculus I 031315: Inverse Functions and Differentiation

Inverse functions. Examples of determining the inverse. Relation between the graphs of a function and its inverse. One-to-one functions. Restricting the domain of a function so that it is invertible. Differentiability of inverse functions; relation between derivatives of function and

From playlist Course 2: Calculus I

Video thumbnail

Step by step find the inverse of the reciprocal function

👉 Learn how to find the inverse of a rational function. A rational function is a function that has an expression in the numerator and the denominator of the function. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the

From playlist Find the Inverse of a Function

Video thumbnail

Learn step by step to find the inverse of a function

👉 Learn how to find the inverse of a rational function. A rational function is a function that has an expression in the numerator and the denominator of the function. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the

From playlist Find the Inverse of a Function

Video thumbnail

Finding the inverse of a function- Free Online Tutoring

👉 Learn how to find the inverse of a linear function. A linear function is a function whose highest exponent in the variable(s) is 1. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the inverse of a function is that whe

From playlist Find the Inverse of a Function

Video thumbnail

Learn step by step how to find the inverse of an equation, then determine if a function or not

👉 Learn how to find the inverse of a linear function. A linear function is a function whose highest exponent in the variable(s) is 1. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the inverse of a function is that whe

From playlist Find the Inverse of a Function

Video thumbnail

Graphing and finding the inverse of a rational function

👉 Learn how to find the inverse of a rational function. A rational function is a function that has an expression in the numerator and the denominator of the function. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the

From playlist Find the Inverse of a Function

Video thumbnail

1.4 Inverse Functions

OpenStax Calculus volume 1

From playlist Calculus 1

Video thumbnail

Inverse Functions

"Inverse functions."

From playlist Algebra: Functions

Video thumbnail

CONDITIONALS - DISCRETE MATHEMATICS

Today we go in depth and talk about conditionals, including the converse, inverse, and contrapositive. We also talk about if, only if, if and only if. Visit my website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW *--Playlists--* Discrete Mathematics 1: https://www.y

From playlist Discrete Math 1

Video thumbnail

The converse and inverse of a conditional statement

Given a conditional statement, we can write down the converse or inverse of this statement. Combined with contrapositive and biconditional these form the four related statements to a given conditional statement. â–ºFull Course Playlist: DISCRETE MATH: https://www.youtube.com/playlist?list=

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

mod-25 lec-26 Introduction to Fluid Logic

Fundamentals of Industrial Oil Hydraulics and Pneumatics by Prof. R.N. Maiti,Department of Mechanical Engineering,IIT Kharagpur.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Kharagpur: Fundamentals of Industrial Oil Hydraulics and Pneumatics (CosmoLearning Mechanical Engineering)

Video thumbnail

How to find the inverse of a rational function

👉 Learn how to find the inverse of a linear function. A linear function is a function whose highest exponent in the variable(s) is 1. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the inverse of a function is that whe

From playlist Find the Inverse of a Function

Video thumbnail

Learn to show that the converse and inverse are logically equivalent statements

👉 Learn how to show that two statements are logically equivalent. Two statements are said to be logically equivalent if they contain the same logical content. i.e. if both statements convey the same meaning. A conditional statement and its contrapositive are logically equivalent. Also, the

From playlist Logically Equivalent Statements

Video thumbnail

Vacuum Tube Computer P.03 – Logic Unit

In this episode, we take a look at how to build the logic unit for our proof of concept! Of course, if we want to breadboard things, sometimes we have to simplify a little further, so we actually build a proof of concept for our proof of concept – Inception style. Here's more info on the

From playlist Vacuum Tube Computer

Video thumbnail

Proof Techniques

Now that we know what connectives and quantifiers are, we can put that knowledge to use to figure out how to prove when statements of the form "For all x in D, if p(x), then q(x)" are true (or demonstrate that they are false).

From playlist Linear Algebra

Video thumbnail

1.7.1 Relations: Video

MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: Albert R. Meyer License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.042J Mathematics for Computer Science, Spring 2015

Video thumbnail

Conditional Statements | Propositional Logic

In this video I talk about conditional statements, truth tables, and logical equivalence. This knowledge sets us up to be able to do some fun proofs! Be looking out for those videos! Facebook: https://www.facebook.com/braingainzofficial Instagram: https://www.instagram.com/braingainzoffi

From playlist Discrete Math

Video thumbnail

Vincent Lafforgue - 2/3 Paramètres de Langlands et cohomologie des champs de G-chtoucas

Pour tout groupe réductif G sur un corps de fonctions, on utilise la cohomologie des champs de G-chtoucas à pattes multiples pour démontrer la correspondance de Langlands pour G dans le sens "automorphe vers Galois''. On obtient en fait une décomposition canonique des formes automorphes cu

From playlist Vincent Lafforgue - Paramètres de Langlands et cohomologie des champs de G-chtoucas

Video thumbnail

Learn the steps to finding the inverse of the reciprocal function

👉 Learn how to find the inverse of a rational function. A rational function is a function that has an expression in the numerator and the denominator of the function. The inverse of a function is a function that reverses the "effect" of the original function. One important property of the

From playlist Find the Inverse of a Function

Related pages

Converse (logic) | Contraposition | Obversion | Conditional sentence | Transposition (logic) | Immediate inference | Double negation