Finding truth value of each propositional variable.

  • Thread starter Thread starter sunny79
  • Start date Start date
  • Tags Tags
    Value Variable
Click For Summary

Homework Help Overview

The discussion revolves around determining the truth values of propositional variables within a compound logical statement, specifically [p^(qVr)]^ ~r. Participants are exploring the implications of truth assignments in propositional logic.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Some participants attempt to substitute truth values directly into the expression, while others question the validity of this approach given the initial conditions of the problem. There is a focus on understanding the requirements for the compound statement to hold true.

Discussion Status

The discussion is ongoing, with participants sharing their initial attempts and questioning the assumptions behind their methods. Some guidance has been offered regarding the nature of conjunctions in logical statements, but no consensus has been reached on the correct approach.

Contextual Notes

Participants are working under the assumption that the compound statement is true, and there is a note about the notation used for logical operations. The original poster's method of substituting truth values has been critiqued, indicating a potential misunderstanding of the problem's requirements.

sunny79
Messages
77
Reaction score
8
Homework Statement
Assume that the compound statement is true. Find the truth value of each propositional variable.
Relevant Equations
[p^(qVr)]^ ~r
Note:
^ represents and.
V represents or
~ represents not
T represents True
F represents False

My solution...

I started by substituting T in all variables...

[p^(qVr)]^ ~r
[T^(TVT)] ^ ~T
(T^T) ^ F
T^F
F
The answer is p = True q = True r = False
 
Physics news on Phys.org
sunny79 said:
I started by substituting T in all variables...
That is not a good start. All you are given is that [p^(qVr)]^ ~r = T !
 
sunny79 said:
Homework Statement: Assume that the compound statement is true. Find the truth value of each propositional variable.
Homework Equations: [p^(qVr)]^ ~r

Note:
^ represents and.
V represents or
~ represents not
T represents True
F represents False

My solution...

I started by substituting T in all variables...

[p^(qVr)]^ ~r
[T^(TVT)] ^ ~T
(T^T) ^ F
T^F
F
The answer is p = True q = True r = False
Notice in an /\ sentence, both components must be true. That simplifies it a bit.
 
  • Like
Likes   Reactions: sunny79
Giving it away, eh :wink:
 
  • Like
Likes   Reactions: WWGD
WWGD said:
Notice in an /\ sentence, both components must be true. That simplifies it a bit.

Gotcha! Thanks. :)
 
  • Like
Likes   Reactions: WWGD

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 3 ·
Replies
3
Views
7K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K