Logik:Beweis von Rechenregeln für Quantoren |
25.11.2009, 11:38 | bretos1 | Auf diesen Beitrag antworten » |
Logik:Beweis von Rechenregeln für Quantoren Es seien p(x) (x M)und q Aussagen.Beweisen sie folgende Rechenregeln: ((x : p(x)) q) <=> (x : (p(x) q)) und (q (x : p(x)) <=> (x : (q p(x))) Man kann den Beweis sowohl als Text als auch formal machen .Naja,hoffe auf ein paar Tipps oder Lösungsvorschläge.Danke! |
||
25.11.2009, 11:47 | tmo | Auf diesen Beitrag antworten » |
ist doch als definiert. Arbeite damit. |
||
25.11.2009, 11:54 | bretos1 | Auf diesen Beitrag antworten » |
ja das ist schon ein guter tipp.Nur weiss ich nicht wie ich das mit den Allquantoren und den Existenzquantoren handhaben sollte. |
||
25.11.2009, 18:08 | bretos1 | Auf diesen Beitrag antworten » |
kann mir keiner weitere tipps geben? |
||
25.11.2009, 21:23 | Lord Pünktchen | Auf diesen Beitrag antworten » |
und wobei nicht x bedeuten soll |
||
26.11.2009, 18:25 | bretos1 | Auf diesen Beitrag antworten » |
dann bringt mir dein vorschlag leider nichts! |
||
Anzeige | ||
|
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |