[Math] Translating from Natural Language to Propositional Language

logicpropositional-calculus

I'm struggling a bit with this logic problem:

I have been asked to translate the following sentences into propositional language.

  • Pliny is happy and Quintilian is happy.

  • If Pliny is happy then either Quintilian or Rufina is happy.

  • If neither Pliny nor Quintilian are happy then Rufina is happy.

I think the first line would be $P\land Q$? But not sure of the other two.

Does anyone have an idea? Would really appreciate any help. Thanks everyone

Best Answer

First, you suggest propositions, but you need to define them explicitly. We will need three propositions:

$P:$ Pliny is happy.

$Q:$ Quintilian is happy.

$R:$ Rufina is happy.

So you are given:

$(1)\;$ Pliny and Quintilian are happy.

$(2)\;$ If Pliny is happy, then Quintilian is happy or Rafina is happy.

$(3)\;$ If neither Pliny nor Quintilian is happy, then Rafina is happy.

  1. $\;P \land Q$

  2. $\;P\to (Q\lor R)$

  3. $\;(\lnot P \land \lnot Q)\to R$