Tractatus Logico-Philosophicus (English): Difference between revisions

no 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'')
|„ „
|&quot; &quot;
|''p'' and not ''q''. [''p'' . ~''q'']
|''p'' and not ''q''. [''p'' . ~''q'']
|-
|-
|(FTFF)(''p'', ''q'')
|(FTFF)(''p'', ''q'')
|„ „
|&quot; &quot;
|''q'' and not ''p''. [''q'' . ~''p'']
|''q'' and not ''p''. [''q'' . ~''p'']
|-
|-
|(TFFF)(''p'', ''q'')
|(TFFF)(''p'', ''q'')
|„ „
|&quot; &quot;
|''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;"><math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>.</p>
<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: