1,968
edits
No edit summary Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
Line 138: | Line 138: | ||
===Lesson 1=== | ===Lesson 1=== | ||
[[§1.1.1.1]=P]A ∃ C<sub>2</sub>⇒(C<sub>1</sub> | [[§1.1.1.1]=P]A ∃ C<sub>2</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>). | ||
:{| | :{| | ||
Line 154: | Line 154: | ||
===Lesson 2=== | ===Lesson 2=== | ||
[[§1.1.1.2]=P]A ∃ C<sub>3</sub>⇒(C<sub>1</sub> | [[§1.1.1.2]=P]A ∃ C<sub>3</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>). | ||
:{| | :{| | ||
Line 170: | Line 170: | ||
===Lesson 3=== | ===Lesson 3=== | ||
[[§1.1.1.3]=P]A ∃ C<sub>2</sub>∨C<sub>3</sub>⇒(C<sub>1</sub> | [[§1.1.1.3]=P]A ∃ C<sub>2</sub>∨C<sub>3</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>). | ||
:{| | :{| | ||
Line 186: | Line 186: | ||
===Lesson 4=== | ===Lesson 4=== | ||
[[§1.1.2.1]=P]A ∃ V<sub>1</sub>⇒(C<sub>1</sub> | [[§1.1.2.1]=P]A ∃ V<sub>1</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>). | ||
:{| | :{| | ||
Line 202: | Line 202: | ||
===Lesson 5=== | ===Lesson 5=== | ||
[[ | [[§1.1.2.2]=P]A ∃ VV<sub>1</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>) | ||
===Lesson 6=== | ===Lesson 6=== | ||
[[ | [[§1.1.2.3]=P]A ∃ V<sub>2</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>) | ||
===Lesson 7=== | ===Lesson 7=== | ||
[[ | [[§1.1.3.1]=P]A ∃ V<sub>1</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>)? | ||
===Lesson 8=== | ===Lesson 8=== |
edits