next up previous
Next: Logisches Quadrat Up: Prädikatenlogik Previous: Prädikatenlogik

Einfache Argumente

Für den Beginn wollen wir beweisen, dass alle Schweine rosa sind, soferne alle Schweine rosa sind und grunzen.


Argument182

Sx
x ist ein Schwein.
Rx
x ist rosa.
Gx
x grunzt.

Unter Zugrundelegung dieser Übersetzung lautet das Argument damit wie folgt: Alle Schweine sind rosa und grunzen tex2html_wrap_inline1205 Alle Schweine sind rosa.

tex2html_wrap369
tabular188


Argument192

tex2html_wrap369
tabular196


Argument199

tex2html_wrap369
tabular203


Argument206

tex2html_wrap369
tabular210

Die Umkehrung dieses Arguments ist nicht gültig:


Argument213

tex2html_wrap1483 tex2html_wrap1485


Argument222

tex2html_wrap369
tabular226


Argument229

tex2html_wrap369
tabular233


Argument236

tex2html_wrap369
tabular240

Auch dieses Arguments Umkehrung ist nicht gültig:


Argument243

tex2html_wrap1483 tex2html_wrap1495


next up previous
Next: Logisches Quadrat Up: Prädikatenlogik Previous: Prädikatenlogik

Christian Klaus Gottschall
Fri Jun 12 00:41:28 CEST 1998