578
edits
Adamic Code: Difference between revisions
Jump to navigation
Jump to search
no edit summary
Tags: Mobile edit Mobile web edit |
No edit summary 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>V<sub>1</sub>C<sub>2</sub>V<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>V<sub>1</sub>C<sub>2</sub>V<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>V<sub>1</sub>C<sub>2</sub>V<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>V<sub>1</sub>C<sub>2</sub>V<sub>2</sub>C<sub>3</sub>). | ||
:{| | :{| | ||
| Line 202: | Line 202: | ||
===Lesson 5=== | ===Lesson 5=== | ||
[[§1.1.2.2]=P]A ∃ | [[§1.1.2.2]=P]A ∃ ⇒() | ||
===Lesson 6=== | ===Lesson 6=== | ||