Logisch-philosophische Abhandlung: Difference between revisions

{| style="margin: 0 auto 0 auto;"

|Tautologie

|(Wenn ''p'', so ''p''; und wenn ''q'', so ''q''.) (''p'' ⊃ ''p . q'' ⊃ ''q'')

|-

|in Worten:

|Nicht beides ''p'' und ''q''. (~(''p'' . ''q''))

|-

|„ „

|Wenn ''q'', so ''p''. (q ⊃ p)

|-

|„ „

|Wenn ''p'', so ''q''. (p ⊃ q)

|-

|„ „

|''p'' oder ''q''. (''p'' ∨ ''q'')

|-

|„ „

|Nicht ''q''. ~''q''

|-

|„ „

|Nicht ''p''. ~''p''

|-

|„ „

|''p'' oder ''q'', aber nicht beide. (''p'' . ~''q'' : ∨ : ''q'' . ~''p'')

|-

|„ „

|Wenn ''p'', so ''q''; und wenn ''q'', so ''p''. (''p'' ≡ ''q'')

|-

|„ „

|''p''

|-

|„ „

|''q''

|-

|„ „

|Weder ''p'' noch ''q''. (~''p'' . ~''q'') oder (''p''<nowiki> | </nowiki>''q'')

|-

|„ „

|''p'' und nicht ''q''. (''p'' . ~''q'')

|-

|„ „

|''q'' und nicht ''p''. (''q'' . ~''p'')

|-

|„ „

|''q'' und ''p''. (''q'' . ''p'')