5,950
edits
Template:TLP 5.101 de: Difference between revisions
no edit summary
(Created page with "{| style="margin: 0 auto 0 auto;" |(WWWW)(''p'', ''q'') |Tautologie |(Wenn ''p'', so ''p''; und wenn ''q'', so ''q''.) (''p'' ⊃ ''p . q'' ⊃ ''q'') |- |(FWWW)(''p'', ''q'')...") |
No edit summary |
||
| Line 6: | Line 6: | ||
|(FWWW)(''p'', ''q'') | |(FWWW)(''p'', ''q'') | ||
|in Worten: | |in Worten: | ||
|Nicht beides ''p'' und ''q''. ( | |Nicht beides ''p'' und ''q''. (∼(''p'' . ''q'')) | ||
|- | |- | ||
|(WFWW)(''p'', ''q'') | |(WFWW)(''p'', ''q'') | ||
| Line 22: | Line 22: | ||
|(FFWW)(''p'', ''q'') | |(FFWW)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|Nicht ''q''. | |Nicht ''q''. ∼''q'' | ||
|- | |- | ||
|(FWFW)(''p'', ''q'') | |(FWFW)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|Nicht ''p''. | |Nicht ''p''. ∼''p'' | ||
|- | |- | ||
|(FWWF)(''p'', ''q'') | |(FWWF)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|''p'' oder ''q'', aber nicht beide. (''p'' . | |''p'' oder ''q'', aber nicht beide. (''p'' . ∼''q'' : ∨ : ''q'' . ∼''p'') | ||
|- | |- | ||
|(WFFW)(''p'', ''q'') | |(WFFW)(''p'', ''q'') | ||
| Line 46: | Line 46: | ||
|(FFFW)(''p'', ''q'') | |(FFFW)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|Weder ''p'' noch ''q''. ( | |Weder ''p'' noch ''q''. (∼''p'' . ∼''q'') oder (''p''<nowiki> | </nowiki>''q'') | ||
|- | |- | ||
|(FFWF)(''p'', ''q'') | |(FFWF)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|''p'' und nicht ''q''. (''p'' . | |''p'' und nicht ''q''. (''p'' . ∼''q'') | ||
|- | |- | ||
|(FWFF)(''p'', ''q'') | |(FWFF)(''p'', ''q'') | ||
|„ „ | |„ „ | ||
|''q'' und nicht ''p''. (''q'' . | |''q'' und nicht ''p''. (''q'' . ∼''p'') | ||
|- | |- | ||
|(WFFF)(''p'', ''q'') | |(WFFF)(''p'', ''q'') | ||
| Line 62: | Line 62: | ||
|(FFFF)(''p'', ''q'') | |(FFFF)(''p'', ''q'') | ||
|Kontradiktion | |Kontradiktion | ||
|(''p'' und nicht ''p''; und ''q'' und nicht ''q''.) (''p'' . | |(''p'' und nicht ''p''; und ''q'' und nicht ''q''.) (''p'' . ∼''p'' . ''q'' . ∼''q'') | ||
|} | |} | ||