Question

Use propositional logic to prove the following argument is valid. If Alice gets the office position and works hard, then she will get a bonus. If she gets a bonus, then she will go on a trip. She did not go on a trip. Therefore, either she did not get the office position or she did not work hard or she was late too many times. a) Define your propositions [5 points]: O = W = B = T = L = b) Write down the logical argument [8 points]: c) Proof sequence [12 points]: Steps: Reason: 1. 2. 3. …

Answer 1

This question relates to Propositional logic. Thus, the propositions as defined are:

A = Gets office position

B = Works hard

C = Gets a bonus

D = Go on a trip.

What is the logical argument?

The logical argument is notated as follows:

((A∧B)→C)∧(C→D)∧(¬D),∴((¬A)∨(¬B))

What is a propositional logic?

A proposition is an assertion that can only be one of two things: valid or wrong. It can never be both.

Learn more about propositional logic at;
https://brainly.com/question/16783205
#SPJ1