Logika

[Mrsmile]

Chciałabym prosić o pomoc w rozwiązaniu poniższych zadań. W następnym tygodniu czekam mnie kolokwium z podobnych zadań. Z góry dziękuję za pomoc

1. Nieprawda, że jeśli spory filozoficzne są nierozstrzygalne, a uczeni biorą w nich udział to filozofia hamuje postęp w nauce.
2. Jeśli jeśli Jan jest zakochany to jest zazdrosny, to jeśli Jan nie jest zazdrosny, to nie jest zakochany.
3. Jeśli nieprawda, że jeśli ta noc będzie ciemna, to nieprzyjaciel zaatakuje, to jeśli ta noc nie będzie ciemna to nieprzyjaciel nie zaatakuje.
4. Nieprawda, że Kopernik miał rację, a Ptomeleusz miał rację wtedy u tylko wtedy, gdy Ptomeleusz nie miał racji, a Kopernik się nie mylił.

[octahedron]

Ale co tu trzeba zrobić ?

[Mrsmile]

W poniższych zadaniach trzeba wyznaczyć co jest alternatywą, koniunkcją, itp. i wzajemne relacje

[octahedron]

Czyli zapisać przy użyciu symboli logicznych?

[Mrsmile]

tak, dokładnie o to chodzi. Będę bardzo wdzięczny za pomoc

[octahedron]

\(1.\ \sim[(\sim p\ \wedge\ q)\Rightarrow r]
2.\ (p\Rightarrow q)\Rightarrow (\sim q\Rightarrow \sim p)
3.\ [\sim(p\Rightarrow q)]\Rightarrow (\sim p\Rightarrow \sim q)
4.\ (\sim p\ \wedge\ q) \Leftrightarrow (\sim q\ \wedge\ p)\)

[Mrsmile]

Super, bardzo dziękuję za pomoc