Trouble determining truth value of logic statements

  • Context:
  • Thread starter Thread starter chelseajjc95
  • Start date Start date
  • Tags Tags
    Logic Value
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
chelseajjc95
Messages
4
Reaction score
0
For the folowing two problems determine the truth value of each statement:
assume a and b are true and c and d are false.

not(a V b) -> s
not( T V T) -> s
F -> s
T

r -> [(d -> w) <-> (a ^ c )]
r -> [(F -> w) <-> ( T ^ F)]
r -> [T <-> F]
r -> F

I am fairly certain I did the first one correct but I would like some confirmation. The second one I am unsure how to evaluate
because the value of r is unknown and if r is t then the statement will be false but if r is false then the statement will be true.
 
Physics news on Phys.org
You are right: $r\to [(d\to w) \leftrightarrow (a\land c )]$ is equivalent to $\neg r$ under the assumptions about $a$, $b$, $c$ and $d$, so the original formula does not have a definite truth value.