CSCE 222 Lecture 8
« previous | Monday, February 7, 2011 | next »
Arguments
a sequence of propositions (premises) that result in a conclusion
Modus Ponens
If you have a current password, then you can log on to the network"
- You have a current password, therefore you can log into the network
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{array}{l} p \\ p \rightarrow q \\ \hline \therefore q \end{array}}
Modus Tollens
"The university will not close on Wednesday"
- "The university will close if it snows, therefore it will not snow on Wednesday"
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{array}{l} \neg q \\ p \rightarrow q \\ \hline \therefore \neg p \end{array}}
Simplification
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{array}{l} p \wedge q \\ \hline \therefore p \end{array}}