Logical equivalence, need mad help.

  • Thread starter Thread starter seanstermonst
  • Start date Start date
  • Tags Tags
    Equivalence
Click For Summary
SUMMARY

The discussion focuses on finding compound propositions logically equivalent to "p V q" using only the logical operator "|". Participants emphasize the importance of applying double negation and De Morgan’s law to derive the solutions. The homework requires showing all steps taken to arrive at the equivalent propositions, reinforcing the need for clarity in the problem-solving process.

PREREQUISITES
  • Understanding of logical operators, specifically "V" and "|"
  • Familiarity with double negation in propositional logic
  • Knowledge of De Morgan’s laws
  • Basic skills in constructing compound propositions
NEXT STEPS
  • Study the application of double negation in propositional logic
  • Research De Morgan’s laws and their implications in logical equivalence
  • Practice constructing compound propositions using various logical operators
  • Explore examples of logical equivalence proofs in propositional logic
USEFUL FOR

Students learning propositional logic, educators teaching logical equivalence, and anyone seeking to strengthen their understanding of logical operators and compound propositions.

seanstermonst
Messages
1
Reaction score
0
some of you will probly find this easy but this my first assignment after learning what a logical equivalence is so I can't warp my head around it. there are 2 problems I need help with.

Homework Statement


Find a compound proposition logically equivalent to p V q using only the
logical operator |. (Hint: Start with double negation and then De Morgan’s law.)
Show your steps.

Homework Statement


Find a compound proposition logically equivalent to p | q using only
the logical operator |. Show your steps.
 
Physics news on Phys.org
We will not provide any help unless you show us your work, and explain to us how you're stuck.

- Warren
 

Similar threads

Undergrad Translate compound proposition p → q (implication) to p↓q question
  • · Replies 4 ·
Replies
4
Views
2K
Discrete Mathmatics :logically equivalent
  • · Replies 7 ·
Replies
7
Views
5K
Show that two quantified statements are logically equivalent
  • · Replies 6 ·
Replies
6
Views
3K
Are These Predicate Logic Equivalences Valid?
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Logical equivalencies involving ifs and nors
  • · Replies 2 ·
Replies
2
Views
2K
MHB Solving a Complex Logical Equivalence in CNF Form
  • · Replies 3 ·
Replies
3
Views
2K
Logic: exclusive-OR statements to form AND/OR statements
  • · Replies 3 ·
Replies
3
Views
2K
Need help with a trigonometric expression
  • · Replies 4 ·
Replies
4
Views
2K
What is the Equivalence of Biconditional Connectives?
  • · Replies 3 ·
Replies
3
Views
2K
Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
  • · Replies 3 ·
Replies
3
Views
2K