Difference between revisions of "Logical Equivalence"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "In mathematics, two statements are logically equivalent if they produce the same truth value in every case. For example, "x is greater than 7" and "x is not less than or equal...")
 
Line 1: Line 1:
−
In mathematics, two statements are logically equivalent if they produce the same truth value in every case. For example, "x is greater than 7" and "x is not less than or equal to 7" are logically equivalent because they are both true or both false simultaneously for every real number x. A conditional (<math> P /implies Q </math>) and its contrapositive (<math> \neg Q /implies \neg P </math>) are always logically equivalent. For example, "if x is even, then x is divisible by 2" is logically equivalent to its contrapositive, "if x is not divisible by 2, then x is not even".
+
In mathematics, two statements are logically equivalent if they produce the same truth value in every case. For example, <math> P \and Q </math> and <math> Q \and P </math> are logically equivalent, as are <math> P \or Q </math> and <math> Q \or P </math>, and <math> P \iff Q </math> and <math> Q \iff P </math>. "x is greater than 7" and "x is not less than or equal to 7" are logically equivalent because they are both true or both false simultaneously for every real number x. A conditional (<math> P \implies Q </math>) and its contrapositive (<math> \neg Q \implies \neg P </math>) are always logically equivalent. For example, "if x is even, then x is divisible by 2" is logically equivalent to its contrapositive, "if x is not divisible by 2, then x is not even".
  
 
==Resources==
 
==Resources==

Revision as of 12:02, 24 September 2021

In mathematics, two statements are logically equivalent if they produce the same truth value in every case. For example, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P \and Q } and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q \and P } are logically equivalent, as are and , and and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q \iff P } . "x is greater than 7" and "x is not less than or equal to 7" are logically equivalent because they are both true or both false simultaneously for every real number x. A conditional (Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P \implies Q } ) and its contrapositive (Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg Q \implies \neg P } ) are always logically equivalent. For example, "if x is even, then x is divisible by 2" is logically equivalent to its contrapositive, "if x is not divisible by 2, then x is not even".

Resources

Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=Logical_Equivalence&oldid=1419"