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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.