Conditional/Semantics of Conditional/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Semantics of Conditional

The statement:

If I pass this course, then (it shows that) I have studied hard for it.


may be rephrased as:

I will pass this course only if I have studied hard for it.
To prove that I have studied hard for this course, it is sufficient to know that I passed it.
For me to pass this course, it is necessary for me to study hard for it.


Sources