Converse Meaning In Discrete Math

Every statement in logic is either true or false.

Converse meaning in discrete math. The fallacious argument form is starting with the conditional statement if p then q and then asserting the statement if q then p particular forms of conditional statements that are derived from other ones have names and the statement if q then p is known as the converse. In mathematics the converse relation or transpose of a binary relation is the relation that occurs when the order of the elements is switched in the relation. It has many practical applications in computer science like design of computing machines artificial intelligence definition of data structures for programming languages etc.

A conditional statement consists of two parts a hypothesis in the if clause and a conclusion in the then clause. Q p is the contrapositive of p q. Logic contrapositive converse discrete mathematics conjunction negation 1.

For this problem is it better to translate the conditional statements that are not in the if p q form to that form. For instance if it rains then they cancel. Converse inverse and contrapositive for any given proposition p q p is also known as the premise or hypothesis and q as the conclusion.

Discrete structures or mathematics muhammad nawaz phd uk assistant professor multimedia systems phd and ms computer science programs coordinator centre for excellence in information technology imsciences peshawar pakistan. In formal terms if x and y are sets and l x y is a relation from x to y then l t is the relation defined so that y l t x if and only if x l y. Given the statement if then or the converse is if then for example the converse of if a thing is a dog then it is a mammal is if a thing is a mammal then it is a dog the converse of a theorem is a theorem if and only if and are equivalent i e.

It is switching the hypothesis and conclusion of a conditional statement. Discrete mathematics propositional logic the rules of mathematical logic specify methods of reasoning mathematical statements. Here is my book s definition on converse contrapositive and inverse and the common ways to express an implication.

This problem is from discrete mathematics and its applications. In mathematical geometry a converse is defined as the inverse of a conditional statement. Converse inverse contrapositive given an if then statement if p then q we can create three related statements.