diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/operetta.1 | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/operetta.1 b/doc/operetta.1 index 89a6de5..a8730b9 100644 --- a/doc/operetta.1 +++ b/doc/operetta.1 @@ -46,13 +46,13 @@ the lines that the justification references. \fB->\fP \-\- Implication. -\fBu<->\fP +\fB<->\fP \-\- Bi-implication. -\fBu~ or !\fP +\fB~ or !\fP \-\- Negation, or NOT. -\fBu? or x\fP +\fB? or x\fP \-\- Contradiction. .SH RULES @@ -77,10 +77,10 @@ the lines that the justification references. \fB->i\fP \-\- Implication introduction. Cite an assumption A, and a result of that assumption B. May justify A->B. -\fBu?i or xi\fP +\fB?i or xi\fP \-\- Contradiction introduction. Cite a proposition A and a proposition ~A. May justify ? or x. -\fBu~i or !i\fP +\fB~i or !i\fP \-\- Negation introduction. Cite an assumption A and a contradiction resulting from that assumption, B. May justify ~A. .SH AUTHOR |