Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Fitch Beispiel
Hallo,
kann mir bitte bei dieser Aufgabe jemand helfen.
Wie kann ich diese Äquivalenz in Fitch zeigen?
∃x.(phi / psi) ≡ ∃x.phi / ∃x.psi
Danke!
habs grade mal probiert, aber irgendwie will das nicht hinhauen^^… wäre auch an einer LSG interessiert
so hab ich das in einer ähnlichen Aufgabe in die eine Richtung.
Bitte sagen wenn das falsch ist
01|∃x.(phi / psi)
02||-(∃x.phi / ∃x.psi)
03|||c (phi / psi)[c/x]
04||||phi[c/x]
05||||∃x.phi (∃I) 4
06||||(∃x.phi) / ∃x.psi (/I) 5
07||||F (FI) 2,6
08|||
09||||psi[c/x]
10||||∃x.psi (∃I) 9
11||||(∃x.phi) / ∃x.psi (/I) 10
12||||F (FI) 2,11
13|||F (/E) 3, 4-7, 9-12
14||F (∃E) 1, 3-13
15|–((∃x.phi) / ∃x.psi) (-I) 2-14
16|(∃x.phi) / ∃x.psi (-E) 15
top, für mich sieht das korrekt aus ich probier mich später mal an der gegenrichtung
Attachment:
(exists.x.phi v exists x.psy)->exists.x.(phi v psy).pdf: https://fsi.cs.fau.de/unb-attachments/post_145604/(exists.x.phi v exists x.psy)->exists.x.(phi v psy).pdf
Danke, starke Sache!
geht auch folgender Beweis??
1 |u/(∃x.psi)[/u]
2 ||∃x.phi
3 |||c phi [c/x]
4 |||phi / psi (/I) 3
5 ||phi / psi (∃E) 2-4
6 ||∃x.(phi / psi) (∃I) 5
7 |
8 ||∃x.psi
9 |||d psi [d/x]
10|||phi / psi (/I) 9
11||phi / psi (∃E) 8-10
12||∃x.(phi / psi) (∃I) 11
13|∃x.(phi / psi) (/E) 1, 2-6, 8-13
hoppla… so gehts natürlich etwas einfacher sieht auch richtig aus