Scribd
Upload
75 views

Espedosa Module3.5 Assignment

The document contains 3 arguments that are analyzed for validity. The first two arguments are determined to be valid because their conclusions are true when the premises are true. The third argument is determined to be invalid because its conclusion can be false even when the premises are true.

Uploaded by

Khemgee Espedosa
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
75 views

Espedosa Module3.5 Assignment

The document contains 3 arguments that are analyzed for validity. The first two arguments are determined to be valid because their conclusions are true when the premises are true. The third argument is determined to be invalid because its conclusion can be false even when the premises are true.

Uploaded by

Khemgee Espedosa
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Exercise Set 3.5 Determine the validity of the following arguments.

1. 𝑝∧𝑞
𝑝→𝑞
∴𝑞∨𝑟

p q r 𝑝∧𝑞 𝑝→𝑞 𝑞∨𝑟


T T T T T T
T T F T T T
T F T F F T
T F F F F F
F T T F T T
F T F F T T
F F T F T T
F F F F T F

Because the conclusion in rows 1 and 2 are true and the premises of both rows are also
all true, the argument is valid.

2. 𝑝→𝑟
~𝑝→𝑞
𝑞→𝑠
∴ ~𝑟→𝑠

p q r s ~𝑝 ~𝑟 𝑝→𝑟 ~𝑝→𝑞 𝑞→𝑠 ~𝑟→𝑠


T T T T F F T T T T
T T T F F F T T F T
T T F T F T F T T T
T T F F F T F T F F
T F T T F F T T T T
T F T F F F T T T T
T F F T F T F T T T
T F F F F T F T T F
F T T T T F T T T T
F T T F T F T T F T
F T F T T T T T T T
F T F F T T T T F F
F F T T T F T F T T
F F T F T F T F T T
F F F T T T T F T T
F F F F T T T F T F

Because the conclusion in rows 1, 5, 6, 9, and 11 are all true and the premises of the
mentioned rows are also all true, the argument is valid.
3. If the winds are from the east, then we will not have a big surf.
We do not have a big surf.
Therefore, the winds are from the east.

p: The winds are from the east.


q: We will have a big surf.

p → ~q
~q
∴p

p q ~q p → ~q ~q p
T T F F F T
T F T T T T
F T F T F F
F F T T T F

Because the conclusion in row 4 is false even if the premises are both true, the
argument is invalid.

You might also like