RATUJCIE! :) prosze o pomoc chociaz w 1 zadaniu ! z góry bardzo dziękuje za dobre serce ! :)
1) Używając przyjętych w rachunku zdań symboli (argumenty i funktory) zbuduj schematy następujących zdań:
a) Przyjąłeś fałszywe założenia lub popełniłeś błąd w rozumowaniu.
b) Rozumiesz treść mojej wypowiedzi zawsze i tylko wtedy, gdy potrafisz ją wyrazić własnymi słowami.
c) Jesteś inteligentny i nieprawda, że masz złą pamięć
d) Jeżeli nieprawda, że twierdzenia matematyki mogą okazać się fałszywe, to nieprawda, że twierdzenia logiki mogą okazać się fałszywe.
e) Geometria Łobaczewskiego jest niesprzeczna lub nieprawda, że geometria Euklidesa jest niesprzeczna.
f) Światło ma naturę korpuskularną zawsze i tylko wtedy, gdy nieprawda, że ma naturę falową.
g) Jeżeli historia tłumaczy zdarzenia minione i pozwala przewidywać przyszłość, to jest nauką nomotetyczną.
h) Nieprawda, że jeśli spory filozoficzne są nierozstrzygalne, a uczeni biorą w nich udział to filozofia hamuje postęp w nauce.
2. Za pomocą symboliki rachunku zdań zbuduj schematy podanych niżej zdań:
a) Jeżeli nieprawda, że jeżeli komputery będą nieustannie doskonalone, to ludzie staną się niewolnikami komputerów, to nieprawda, że ludzkość jest zainteresowana w zahamowaniu postępu technicznego.
b) Jeżeli czytasz swobodnie po angielsku, to o ile nie potrafisz mówić w tym języku, to znasz angielski biernie.
c) Polubisz logikę formalną i uznasz ją za łatwą, jeśli nie masz złych wspomnień z lekcji matematyki.
d) Nie posiadasz gruntownej wiedzy o języku, jeśli słąbo znasz gramatykę i nigdy nie uczyłeś się logiki.
3. Sformułuj w sposób stylistycznie poprawny zdania powstające z podanych niżej schematów przez podstawienie:
za p - Teoria Freuda ma prawo do miana nauki,
za q - Teoria Freuda może być potwierdzona przez eksperymenty,
za r - Teoria Freuda może być obalona przez eksperymenty
a) p → (q + r)
b) p → (q → r)
c) (q ∧ r) → p
d) p → (~q → r)
e) ~q → (p → r)
f) (~q ∧ ~r) → ~p
g) ~[~p → (~q ∧ r)]
4. Jaką wartość logiczną posiada zdanie oznaczone literą Z, jeśli jest prawdą, że:
a) Z tworzy fałszywą koniunkcje z dowolnym zdaniem.
b) Z tworzy fałszywą koniunkcje tylko z niektórymi zdaniami.
c) Z tworzy prawdziwą koniunkcje z niektórymi zdaniami.
d) Z tworzy prawdziwą alternatywę z dowolnym zdaniem.
e) Z tworzy prawdziwą alternatywę z niektórymi zdaniami.
f) Z tworzy fałszywą alternatywę z niektórymi zdaniami.
g) Implikacja, której pierwszym członem (poprzednikiem) jest Z, jest zawsze prawdziwa.
h) Implikacja, której drugim członem (następnikiem) jest Z, jest zawsze prawdziwa.
5. Prawdziwe jest zdanie: "Nieprawda, że jeśli Platon założył Akademie, to jeśli Arystoteles był uczniem Platona, to Arystoteles nie uczęszczał do Akademii".
Czy informacja ta wystarcza, aby udzielić odpowiedzi na każde z poniższych pytań? Jeśli tak, to jakie są te odpowiedzi?
a) Czy Platon był założycielem Akademii?
b) Czy Arystoteles był uczniem Platona?
c) Czy Arystoteles uczęszczał do Akademii?
Używając przyjętych w rachunku zdań symboli (argumenty i funktory)
chyba najwazniejsze zdanie jakie musisz zrozumieć zanim przejdziesz do tych zadań.
po prostu za zdania logiczne podstawiasz symbole, litery, i przedstawiasz potem w formie koniunkcji, alternatyw, implikacji, równoważności i zaprzeczeń.
