Turn into Proposition logic

312 Views Asked by At

I am new to logic. I am suffering to turn one of the following sentences from normal form into propositional logic. Paragraph as follows:

If Sahan has knowledge about computer hardware and proper training, he will be able to
assemble a computer. If Sahan hadn’t a proper training he will not have a job. But Sahan
will have a job. Therefore Sahan can assemble a computer.  

I created propositions for each sentences, but my problem is in second sentences. According to the above para to create a propositions, Sahan has knowledge about proper training and Sahan hadn’t a proper training are both or something different. I mean have I want to create two separate propositions for each sentences?

Any help much appreciated.

1

There are 1 best solutions below

0
On

$k$: has knowledge, $t$: has proper training, $a$: able to assemble a computer, $j$: have a job

  1. $k ∧ t → a$
  2. $¬t → ¬j$
  3. $j$

By applying modus tollens to 2 and 3, we get $t$. However, we don't know the truth value of $k$. Therefore, the last sentence ($a$) can't be proved, since we can't apply modus ponens to 1.

Either you're missing a sentence (that the has knowledge about computer hardware) or the goal was to reach this conclusion.