Solution to RULE OF INFERENCE. Determine if the following argument is valid. If it is valid, what … - Sikademy
Author Image

Archangel Macsika

RULE OF INFERENCE. Determine if the following argument is valid. If it is valid, what rule of inference is used in each of the following arguments? Show solution. (4 pts each) 1. Joy wrote a C++ source code, or Jen wrote a Java source code. If Joy wrote a C++ source code, then the problem was solved. If Jen wrote a Java source code, then the problem was solved. 2. There does not exist someone who likes to be COVID – 19 positive; hence, everyone does not like to be vaccinated.

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

1. Joy wrote a C++ source code, or Jen wrote a Java source code. If Joy wrote a C++ source code, then the problem was solved. If Jen wrote a Java source code, then the problem was solved.

Answer: Argument is valid.

p – Joy wrote a C++ source code

q – Jen wrote a Java source code

r – the problem was solved

Joy wrote a C++ source code, or Jen wrote a Java source code : p v q

If Joy wrote a C++ source code, then the problem was solved : p → r

If Jen wrote a Java source code, then the problem was solved : q → r

Here is used Rules for disjunctions, namely Case analysis:

p→r, q→r, p v q ├ r


2. There does not exist someone who likes to be COVID – 19 positive; hence, everyone does not like to be vaccinated.

Answer: Argument is valid.

p(x) – person x likes to be COVID – 19 positive

q(x) – person x likes to be vaccinated

q(x) → p(x) – if person x likes to be vaccinated, then person x likes to be COVID – 19 positive, so \existsx q(x) → \existsx p(x)

Using Transposition or contraposition law : p → q ├ ¬p → ¬q

¬(\existsx p(x)) → ¬(\existsx q(x))

¬(\existsx p(x)) → \forallx ¬q(x)

it means given argument sentence


Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-3124-qpid-1823