Exercises
Video examples
- Base case: A, B, C, D; A , ~A |- B
- With disjunction: A, B, C, D; A , ~A || C |- C
- Variant: A, B, C, D; ~A , A || C |- C
Double Negations
- Easy: A, B, C, D; A |- ~~A
- More tricky: A, B, C, D; |- ~~(A||~A)
- Implication: A, B ; ~~(A->B), ~ ~A |- ~ ~ B
- Implication 2: A, B ; ~~A->~~B |- ~~(A->B)
De Morgan
- First: A, B, C, D; ~A||~B |- ~(A&&B)
- Second: A, B, C, D; ~A&&~B |- ~(A||B)