Modus Ponens |
| 01.02.2010, 16:12 | D@Npower | Auf diesen Beitrag antworten » |
| Modus Ponens Ich hätte eine kleine Frage bezüglich Modus Ponens: A --> B ist bekanntlich ja nicht genau dasselbe wie der Modus Ponens (MP). Dazu haben wir ein Beispiel angeschaut, und zwar folgendes: x = 2 --> x Element von P (wobei P die Menge der Primzahlen sein sollte) A(x) --> B(x) Man kann nun den Sachverhalt in einer Tabelle anschaulich darstellen: x_________A(x)__________B(x)____________A(x) --> B(x)_____ 2_________1_____________1___________________1_________ 3_________0_____________1___________________1_________ 4_________0_____________0___________________1_________ Mit Modus Ponens würde die Tabelle so aussehen: x________A(x)___________B(x)__________ 2_________1_____________1___________ Wir haben dann die Bemerkung hinzugefügt, dass man für x = 2 (und nur dann) auf B(2), also "2 ist Primzahl", schliessen kann. Nun zu meiner Frage: Ist der eigentlich Unterschied nicht derjenige, dass bei der oberen Tabelle (also ohne MP) auch "x=4" eine Primzahl wäre? ..weil bei "x=2" schliesst man ja auch, dass 2 eine Primzahl ist.. Herzlichen Dank für die Hilfe! 
|
||
| 01.02.2010, 16:32 | wisili | Auf diesen Beitrag antworten » |
| RE: Modus Ponens http://de.wikipedia.org/wiki/Modus_ponens ... weist darauf hin, dass man Schlussregeln (der Metasprache) von den Termen mit Junktoren (der Objektsprache) unterscheiden soll. In deinem Beispiel ist die Zahl 2 im Symbol A formalisiert: A(x) bedeutet x=2 A(2) bedeutet 2=2 A(3) bedeutet 3=2 (und nicht x=3) |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
