245 views

Let p, q, and r be the propositions
p : Grizzly bears have been seen in the area.
q : Hiking is safe on the trail.
r : Berries are ripe along the trail.
Write these propositions using p, q, and r and logical connectives (including negations).

1. Berries are ripe along the trail, but grizzly bears have not been seen in the area.
2. Grizzly bears have not been seen in the area and hiking on the trail is safe, but berries are ripe along the trail.
3. If berries are ripe along the trail, hiking is safe if and only if grizzly bears have not been seen in the area.
4. It is not safe to hike on the trail, but grizzly bears have not been seen in the area and the berries along the trail are ripe.
5. For hiking on the trail to be safe, it is necessary but not sufficient that berries not be ripe along the trail and for grizzly bears not to have been seen in the area.
6. Hiking is not safe on the trail whenever grizzly bears have been seen in the area and berries are ripe along the trail.

edited | 245 views

A) $r \wedge~p$

B) $\neg p\wedge q\wedge r$

C) $r \rightarrow(q \leftrightarrow\; \sim p)$

D) $\neg q\wedge \neg p\wedge r$

E) I can break the statements in this way , For hiking on the trail to be safe, it is necessary that berries not be ripe along the trail and for grizzly bears not to have been seen in the area.but not sufficient that berries not be ripe along the trail and for grizzly bears not to have been seen in the area.

So, I can write  (~r⋀~p) is necessary for q  which q-->(~r⋀~p) and  (~r⋀~p) is not sufficient condition q which is (~( ~r⋀~p))--> q
So, final ans  (q-->(~r⋀~p)) ⋀ ((~( ~r⋀~p))--> q)
F) (p⋀r )--> ~q
by Boss (17.1k points)
edited
0
In F, the answer would be (p⋀r )-->~q ...
0

@minal

Can u give some example

"a is not sufficient condition for q is p" i.e. ∼(p→r)"

0
There are two possible solution for C part of this question
1) ((r->q)<->~p)
2) (r->(q<->~p))

solution1 should be correct in accordance to the order of precedence of logical operators.
But the manual shows solution 2 is correct. Why?

+1 vote