An alternative way of displaying the information from this practice problem.
- Given \(\lnot p \lor \lnot q \)
- Case 1:
- Suppose:
- By conjunction elimination, .
- Since 2. and 2.1.1. are a contradiction, .
- Case 2:
- Suppose:
- By conjunction elimination, .
- Since 3. and 3.1.1. are a contradiction, .
- By proof by cases using 2.1.2. and 3.1.2., .
This would alleviate non-indentation after line breaks like here.
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
There are no comments in this discussion.