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 x q(x) → x p(x)
Using Transposition or contraposition law : p → q ├ ¬p → ¬q
¬(x p(x)) → ¬(x q(x))
¬(x p(x)) → x ¬q(x)
it means given argument sentence