Home > College Algebra calculators > Mathematical Logic, truth tables, logical equivalence example

Mathematical Logic, truth tables, logical equivalence example ( Enter your problem )
  1. Laws of logical connectives
  2. Prove Commutative laws
  3. Prove Associative laws
  4. Prove De-Morgan's laws
  5. Prove Distributive laws
  6. Prove Negation law
  7. Prove Absorption laws
  8. Laws for Tautology
  9. Laws for Contradiction
  10. Implication
  11. Double Implication
Other related methods
  1. Definitions
  2. Laws of logical connectives
  3. Prepare the truth table
  4. logical validity of the argument

1. Laws of logical connectives
(Previous example)
3. Prove Associative laws
(Next example)

2. Prove Commutative laws





Prove Commutative laws :

1. p or q = q or p

Solution:
To prove `pvvq=qvvp`, we have to first prepare the following truth table


`(1)``(2)``(3)=(1)vv(2)``(4)=(2)vv(1)`
`p``q``pvvq``qvvp`
TTTT
TFTT
FTTT
FFFF


from this table, we can say that columns (3) and (4) are identical.
`:. pvvq=qvvp`


2. p and q = q and p

Solution:
To prove `p^^q=q^^p`, we have to first prepare the following truth table


`(1)``(2)``(3)=(1)^^(2)``(4)=(2)^^(1)`
`p``q``p^^q``q^^p`
TTTT
TFFF
FTFF
FFFF


from this table, we can say that columns (3) and (4) are identical.
`:. p^^q=q^^p`





This material is intended as a summary. Use your textbook for detail explanation.
Any bug, improvement, feedback then Submit Here



1. Laws of logical connectives
(Previous example)
3. Prove Associative laws
(Next example)





Share this solution or page with your friends.


 
Copyright © 2024. All rights reserved. Terms, Privacy
 
 

.