I will be valid and sound iff I work hard at it
X=I will be valid
Y=I will be sound
Z=I work hard at it
1. (X ∙ Y) ≡ Z
Instead of writing, I am refreshing, while on vacation, my formal logic with a series of lectures put online by Rick Grush of UC San Diego, and with an old textbook that I still have. This was sparked by the purchase of a sharp-looking copy of The Development of Logic by William and Martha Kneale, which at this point is sharing with me all sorts of useful tidbits about Aristotle's technical vocabulary. I wish there were more lectures like this available openly.
Y=I will be sound
Z=I work hard at it
1. (X ∙ Y) ≡ Z
2. Z
Instead of writing, I am refreshing, while on vacation, my formal logic with a series of lectures put online by Rick Grush of UC San Diego, and with an old textbook that I still have. This was sparked by the purchase of a sharp-looking copy of The Development of Logic by William and Martha Kneale, which at this point is sharing with me all sorts of useful tidbits about Aristotle's technical vocabulary. I wish there were more lectures like this available openly.