5,953
edits
Tractatus Logico-Philosophicus (English): Difference between revisions
Tractatus Logico-Philosophicus (English) (view source)
Revision as of 18:12, 1 August 2021
, 3 years agono edit summary
No edit summary |
No edit summary |
||
| Line 969: | Line 969: | ||
|- | |- | ||
|(TFTT)(''p'', ''q'') | |(TFTT)(''p'', ''q'') | ||
| | |" " | ||
|If ''q'' then ''p''. [''q'' ⊃ ''p''] | |If ''q'' then ''p''. [''q'' ⊃ ''p''] | ||
|- | |- | ||
|(TTFT)(''p'', ''q'') | |(TTFT)(''p'', ''q'') | ||
| | |" " | ||
|If ''p'' then ''q''. [''p'' ⊃ ''q''] | |If ''p'' then ''q''. [''p'' ⊃ ''q''] | ||
|- | |- | ||
|(TTTF)(''p'', ''q'') | |(TTTF)(''p'', ''q'') | ||
| | |" " | ||
|''p'' or ''q''. [''p'' ∨ ''q''] | |''p'' or ''q''. [''p'' ∨ ''q''] | ||
|- | |- | ||
|(FFTT)(''p'', ''q'') | |(FFTT)(''p'', ''q'') | ||
| | |" " | ||
|Not ''q''. ~''q'' | |Not ''q''. ~''q'' | ||
|- | |- | ||
|(FTFT)(''p'', ''q'') | |(FTFT)(''p'', ''q'') | ||
| | |" " | ||
|Not ''p''. ~''p'' | |Not ''p''. ~''p'' | ||
|- | |- | ||
|(FTTF)(''p'', ''q'') | |(FTTF)(''p'', ''q'') | ||
| | |" " | ||
|''p'' or ''q'', but not both. [''p'' . ~''q'' : ∨ : ''q'' . ~''p''] | |''p'' or ''q'', but not both. [''p'' . ~''q'' : ∨ : ''q'' . ~''p''] | ||
|- | |- | ||
|(TFFT)(''p'', ''q'') | |(TFFT)(''p'', ''q'') | ||
| | |" " | ||
|If ''p'', then ''q''; and if ''q'', then ''p''. [''p'' ≡ ''q''] | |If ''p'', then ''q''; and if ''q'', then ''p''. [''p'' ≡ ''q''] | ||
|- | |- | ||
|(TFTF)(''p'', ''q'') | |(TFTF)(''p'', ''q'') | ||
| | |" " | ||
|''p'' | |''p'' | ||
|- | |- | ||
|(TTFF)(''p'', ''q'') | |(TTFF)(''p'', ''q'') | ||
| | |" " | ||
|''q'' | |''q'' | ||
|- | |- | ||
|(FFFT)(''p'', ''q'') | |(FFFT)(''p'', ''q'') | ||
| | |" " | ||
|Neither ''p'' nor ''q''. [~''p'' . ~''q'' or ''p''<nowiki> | </nowiki>''q''] | |Neither ''p'' nor ''q''. [~''p'' . ~''q'' or ''p''<nowiki> | </nowiki>''q''] | ||
|- | |- | ||
|(FFTF)(''p'', ''q'') | |(FFTF)(''p'', ''q'') | ||
| | |" " | ||
|''p'' and not ''q''. [''p'' . ~''q''] | |''p'' and not ''q''. [''p'' . ~''q''] | ||
|- | |- | ||
|(FTFF)(''p'', ''q'') | |(FTFF)(''p'', ''q'') | ||
| | |" " | ||
|''q'' and not ''p''. [''q'' . ~''p''] | |''q'' and not ''p''. [''q'' . ~''p''] | ||
|- | |- | ||
|(TFFF)(''p'', ''q'') | |(TFFF)(''p'', ''q'') | ||
| | |" " | ||
|''q'' and ''p''. [''q'' . ''p''] | |''q'' and ''p''. [''q'' . ''p''] | ||
|- | |- | ||
| Line 1,567: | Line 1,567: | ||
Therefore I write in place of "<math>[ x, \xi, \Omega ' \xi ]</math>", | Therefore I write in place of "<math>[ x, \xi, \Omega ' \xi ]</math>", | ||
<p style="text-align:center;"> | <p style="text-align:center;">"<math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>".</p> | ||
And I define: | And I define: | ||