Two statements p and q are given by p: Comfort studies hard. q: She will pass the examination. Write out the following propositions in simple English. (c) p => q (d) ~p => ~q (e) ~(p => q)

Voici les propositions écrites en anglais simple :

Les énoncés donnés sont :
$p$: Comfort studies hard. (Comfort étudie beaucoup.)
$q$: She will pass the examination. (Elle réussira l'examen.)

c) $p \Rightarrow q$
Ceci signifie "si $p$, alors $q$".

• If Comfort studies hard, then she will pass the examination.

d) $\sim p \Rightarrow \sim q$
$\sim p$ signifie "Comfort does not study hard" (Comfort n'étudie pas beaucoup).
$\sim q$ signifie "She will not pass the examination" (Elle ne réussira pas l'examen).

• If Comfort does not study hard, then she will not pass the examination.

e) $\sim (p \Rightarrow q)$
La négation d'une implication $p \Rightarrow q$ est logiquement équivalente à $p \land \sim q$.
Ceci signifie "$p$ et non $q$".

• Comfort studies hard and she will not pass the examination.