= disjunction “or” & = conjunction “and” ( ) = grouping => = conditional “if....then….” <=> = biconditional “iff ~ = negation “It is not the case” .: = conclusion Translate the following sentences, using the given symbolization key: Symbolization Key: L = Mark is a lucky man. G = Mark is married to Christina. S = Mark has a great step-son, Owen. C = Mark has an awesome step-child, Georgie. J = Mark has a cool job as a philosophy professor. Question a) Mark is either married to Christina or he has a great stepson, Owen, and an awesome step-child, Georgie, but not both. b) Mark is a lucky man if and only if he is married to Christina, has a great step-son, Owen, and has an awesome step-child, Georgie. c) Mark isn't a lucky man if Mark doesn't have a cool job as a philosophy professor.
v = disjunction “or”
& = conjunction “and”
( ) = grouping
=> = conditional “if....then….”
<=> = biconditional “iff
~ = negation “It is not the case”
.: = conclusion
Translate the following sentences, using the given symbolization key:
Symbolization Key:
L = Mark is a lucky man.
G = Mark is married to Christina.
S = Mark has a great step-son, Owen.
C = Mark has an awesome step-child, Georgie.
J = Mark has a cool job as a philosophy professor.
Question
a) Mark is either married to Christina or he has a great stepson, Owen, and an awesome step-child, Georgie, but not both.
b) Mark is a lucky man if and only if he is married to Christina, has a great step-son, Owen, and has an awesome step-child, Georgie.
c) Mark isn't a lucky man if Mark doesn't have a cool job as a philosophy professor.
Step by step
Solved in 3 steps with 2 images