Why Does the Outcome Change When Solving pvq->r Differently?

  • Thread starter Thread starter TheNaturalStep
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary
SUMMARY

The discussion centers on the logical expression "pvq->r" and how its interpretation changes based on the placement of parentheses. The two interpretations, (pVq)->r and pV(q->r), yield different meanings: the former indicates that if either p or q is true, then r is true, while the latter suggests that either p is true or if q is true, then r is true. The precedence rules in symbolic logic dictate that the logical operator "v" (disjunction) takes precedence over "->" (implication), similar to arithmetic operations.

PREREQUISITES
  • Understanding of symbolic logic and its operators
  • Familiarity with logical expressions and their interpretations
  • Knowledge of logical precedence rules
  • Basic skills in constructing logical proofs
NEXT STEPS
  • Study the principles of logical precedence in symbolic logic
  • Learn about different types of logical operators and their meanings
  • Explore how to construct and interpret logical expressions
  • Practice solving logical expressions with varying parentheses placements
USEFUL FOR

Students of logic, educators teaching symbolic logic, and anyone interested in understanding the nuances of logical expressions and their interpretations.

TheNaturalStep
Messages
15
Reaction score
0
Sorry if my title wasn't the best, doesn't know the english termonolgy

Anyway i get diffrent result based on how i solve "pvq->r" the result vary if i solve this as (pVq)->r or pV(q->r).

You can see me trying to solve this in the picture which i have attaced, below

http://img183.imageshack.us/img183/2387/dscf0462ho0.jpg

Thank you for your time
 
Last edited by a moderator:
Physics news on Phys.org
TheNaturalStep said:
Sorry if my title wasn't the best, doesn't know the english termonolgy

Anyway i get diffrent result based on how i solve "pvq->r" the result vary if i solve this as (pVq)->r or pV(q->r).

You can see me trying to solve this in the picture which i have attaced, below

http://img183.imageshack.us/img183/2387/dscf0462ho0.jpg

Thank you for your time
Yes, you should- those have different meanings: (pvq)-> r means "if either p or q is true, then r is true." pv(q->r) means "either p is true or if q is true then r is true". The "precedence" rules for symbolic logic say that "and", v, takes precedence of "implication, ->, just as in arithmetic multiplication takes precedence of over multiplication takes precedence over addition: ab+ c means (ab)+ c. pvq->r, without parentheses, means (pvq)-> r.
 
Last edited by a moderator:

Similar threads

Replies
2
Views
5K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
15
Views
12K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
21K