Line 763: |
Line 763: |
| (p)~q~ | | (p)~q~ |
| \\[4pt] | | \\[4pt] |
− | (p)[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) | + | (p)~ ~ |
| \\[4pt] | | \\[4pt] |
| ~p~(q) | | ~p~(q) |
| \\[4pt] | | \\[4pt] |
− | [[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])(q)
| + | ~ ~(q) |
| \\[4pt] | | \\[4pt] |
| (p,~q) | | (p,~q) |
Line 870: |
Line 870: |
| ((p,~q)) | | ((p,~q)) |
| \\[4pt] | | \\[4pt] |
− | 18:36, 29 November 2015 (UTC)q~~
| + | ~ ~ ~q~~ |
| \\[4pt] | | \\[4pt] |
| ~(p~(q)) | | ~(p~(q)) |
| \\[4pt] | | \\[4pt] |
− | ~~p18:36, 29 November 2015 (UTC) | + | ~~p~ ~ ~ |
| \\[4pt] | | \\[4pt] |
| ((p)~q)~ | | ((p)~q)~ |