Logik / direkte Ableitung < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:37 Mo 25.03.2013 | | Autor: | babsie |
| Aufgabe 1 | Bearbeitung der folgenden Ableitungen (als direkte Ableitungen):
1. ∀x (P(x) → Q(x))
2. ¬∀x Q(x) ∴ ∃x ¬P(x) |
| Aufgabe 2 | 1. ¬∃x (A(x) ᴧ ¬B(x))
2. ¬∃x (C(x) ᴧ B(x)) ∴ ¬∃x (A(x) ᴧ C(x)) |
Hi, brauche dringend eure Hilfe, da ich nicht auf den Ansatz komme.
Bei der ersten Aufgabe habe ich folgenden Einstieg:
3. P(a) → Q(a) [aus 1, US]
4. ∃x ¬Q(x) [aus 2, QÄ.4]
Danke für eure Unterstützung,
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:13 Mo 25.03.2013 | | Autor: | tobit09 |
Hallo babsie und herzlich ![[willkommenmr]](/images/smileys/willkommenmr.png "[willkommenmr]") !
Welche Ableitungsregeln habt ihr denn zur Verfügung? Hast du einen Link auf ein Skript, nach dem ihr arbeitet? Ohne Kenntnis eurer Ableitungsregeln wird dir leider niemand weiterhelfen können.
Bei der zweiten Aufgabe erscheinen manche Zeichen bei mir nur als Kästchen. Ist jeweils [mm] $\wedge$ [/mm] gemeint?
Viele Grüße
Tobias
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 12:20 Mi 27.03.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
