Translate into PROP, using the conventions.

a. Pia is guilty only if Raquel is.
b. Pia is guilty if Raquel is.
c. If Quinn or Raquel is guilty, then Pia is too.
d. If neither Pia nor Quinn is guilty, then neither Raquel nor Stan is guilty.
e. If Pia is guilty, then if Raquel is guilty then Quinn is guilty.

Respuesta :

Answer:

The associated PROPS are as follows:

a:[tex]P\rightarrow R[/tex]

b: [tex]R\rightarrow P[/tex]

c:[tex](Q \vee R)\rightarrow P[/tex]

d:[tex]\sim(P \lor Q)\rightarrow \sim(R \lor S)[/tex]

e:[tex]P\rightarrow (R\rightarrow Q)[/tex]

where

P is Pia is guilty

R is Raquel is guilty

Q is Quinn is guilty

S is Stan is guilty

Step-by-step explanation:

When only if is used the conditional antecedent and consequent are interchanged thus the first one is written as such.

In addition to this, the different symbols are used such that their logical meanings are clear.