Logisch-philosophische Abhandlung: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 924: Line 924:


{| style="margin: 0 auto 0 auto;"
{| style="margin: 0 auto 0 auto;"
|(VVVV)(''p'', ''q'')
|(WWWW)(''p'', ''q'')
|Tautologie
|Tautologie
|(Wenn ''p'', so ''p''; und wenn ''q'', so ''q''.) (''p'' ⊃ ''p . q'' ⊃ ''q'')
|(Wenn ''p'', so ''p''; und wenn ''q'', so ''q''.) (''p'' ⊃ ''p . q'' ⊃ ''q'')
|-
|-
|(FVVV)(''p'', ''q'')
|(FWWW)(''p'', ''q'')
|in Worten:
|in Worten:
|Nicht beides ''p'' und ''q''. (~(''p'' . ''q''))
|Nicht beides ''p'' und ''q''. (~(''p'' . ''q''))
|-
|-
|(VFVV)(''p'', ''q'')
|(WFWW)(''p'', ''q'')
|„ „
|„ „
|Wenn ''q'', so ''p''. (q ⊃ p)
|Wenn ''q'', so ''p''. (q ⊃ p)
|-
|-
|(VVFV)(''p'', ''q'')
|(WWFW)(''p'', ''q'')
|„ „
|„ „
|Wenn ''p'', so ''q''. (p ⊃ q)
|Wenn ''p'', so ''q''. (p ⊃ q)
|-
|-
|(VVVF)(''p'', ''q'')
|(WWWF)(''p'', ''q'')
|„ „
|„ „
|''p'' oder ''q''. (''p'' ∨ ''q'')
|''p'' oder ''q''. (''p'' ∨ ''q'')
|-
|-
|(FFVV)(''p'', ''q'')
|(FFWW)(''p'', ''q'')
|„ „
|„ „
|Nicht ''q''. ~''q''
|Nicht ''q''. ~''q''
|-
|-
|(FVFV)(''p'', ''q'')
|(FWFW)(''p'', ''q'')
|„ „
|„ „
|Nicht ''p''. ~''p''
|Nicht ''p''. ~''p''
|-
|-
|(FVVF)(''p'', ''q'')
|(FWWF)(''p'', ''q'')
|„ „
|„ „
|''p'' oder ''q'', aber nicht beide. (''p'' . ~''q'' : ∨ : ''q'' . ~''p'')
|''p'' oder ''q'', aber nicht beide. (''p'' . ~''q'' : ∨ : ''q'' . ~''p'')
|-
|-
|(VFFV)(''p'', ''q'')
|(WFFW)(''p'', ''q'')
|„ „
|„ „
|Wenn ''p'', so ''q''; und wenn ''q'', so ''p''. (''p'' ≡ ''q'')
|Wenn ''p'', so ''q''; und wenn ''q'', so ''p''. (''p'' ≡ ''q'')
|-
|-
|(VFVF)(''p'', ''q'')
|(WFWF)(''p'', ''q'')
|„ „
|„ „
|''p''
|''p''
|-
|-
|(VVFF)(''p'', ''q'')
|(WWFF)(''p'', ''q'')
|„ „
|„ „
|''q''
|''q''
|-
|-
|(FFFV)(''p'', ''q'')
|(FFFW)(''p'', ''q'')
|„ „
|„ „
|Weder ''p'' noch ''q''. (~''p'' . ~''q'') oder (''p''<nowiki> | </nowiki>''q'')
|Weder ''p'' noch ''q''. (~''p'' . ~''q'') oder (''p''<nowiki> | </nowiki>''q'')
|-
|-
|(FFVF)(''p'', ''q'')
|(FFWF)(''p'', ''q'')
|„ „
|„ „
|''p'' und nicht ''q''. (''p'' . ~''q'')
|''p'' und nicht ''q''. (''p'' . ~''q'')
|-
|-
|(FVFF)(''p'', ''q'')
|(FWFF)(''p'', ''q'')
|„ „
|„ „
|''q'' und nicht ''p''. (''q'' . ~''p'')
|''q'' und nicht ''p''. (''q'' . ~''p'')
|-
|-
|(VFFF)(''p'', ''q'')
|(WFFF)(''p'', ''q'')
|„ „
|„ „
|''q'' und ''p''. (''q'' . ''p'')
|''q'' und ''p''. (''q'' . ''p'')