diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-19 17:04:03 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-19 17:04:03 -0700 |
| commit | 477366a7f54e27045ffcde8f4b6543486e467331 (patch) | |
| tree | 0eac130c81ae9afb1eb323caec2236e24e309319 | |
| parent | e12b4fe50e9805e0a2b1df4ecd35909a8ef2b9d0 (diff) | |
fixed man page
| -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 |