- 99

- 0

## Main Question or Discussion Point

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]