- #1
Skomatth
- 100
- 0
Since this forum seems a little slow, I propose a game. I'll post some sort of logic question (it can be symbolic or some sort of trivia about logic) and the next poster tries to answer. When s/he gets it correct, I'll verify that it was the answer I was looking for and then the poster gets to pose a question of his own. If using symbols please use Latex.
Prove that this is a valid argument using reductio ad absurdum
[tex]
1. (A \supset (B \bullet C)) [/tex]
[tex] 2. (B \supset (A \bullet C)) [/tex]
[tex] Therefore, ((A \vee B) \supset C)
[/tex]
Prove that this is a valid argument using reductio ad absurdum
[tex]
1. (A \supset (B \bullet C)) [/tex]
[tex] 2. (B \supset (A \bullet C)) [/tex]
[tex] Therefore, ((A \vee B) \supset C)
[/tex]