Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Solution (c) – Method 1

Steps Reason
1 wf → (sf ∨ pf ) premise
2 ¬wf ∨ sf ∨ pf expression for implication
3 ¬pf → (¬wf ∨ sf ) expression for implication
4 ¬pf premise
5 ¬wf ∨ sf modus ponens to Steps 3 and 4
6 wf → sf expression for implication
7 wm ∨ wf premise
8 ¬wm → wf expression for implication
9 ¬wm → sf rule of syllogism to Steps 8 and 6
10 wm ∨ sf expression for implication
11 ¬sf → wm expression for implication
12 wm → (sm ∨ pm) premise
13 ¬sf → (sm ∨ pm) rule of syllogism to Steps 11 and 12
14 sf ∨ sm ∨ pm expression for implication.

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.