Ćwiczenia z rachunku zdań - ciąg dalszy
przykład amfibolii:
Ukończę studia doktoranckie i będę pracować naukowo lub zostanę nauczycielem, zawsze i tylko wtedy, gdy zadowolę się skromnymi dochodami.
możliwe schematy odpowiadające tej wypowiedzi:
[(p ∧ q) ∨ r] ↔ s
[p ∧ (q ∨ r)] ↔ s
(p ∧ q) ∨ (r ↔ s)
p ∧ [q ∨ (r ↔ s)]
p ∧ [(q ∨ r) ↔ s]
ćwiczenie - układanie zdań do schematów:
p - teoria Freuda ma prawo do miana nauki
q - teoria Freuda może być potwierdzona przez eksperymenty
r - teoria Freuda może być obalona przez eksperymenty
p → (q ∧ r) - Jeżeli teoria Freuda ma prawo do miana nauki, to może być przez eksperymenty potwierdzona, jak i przez nie obalona.
p → (q ∨ r) - Jeżeli teoria Freuda ma prawo do miana nauki, to można ją na drodze eksperymentów potwierdzić lub obalić.
p → (q → r) - Jeżeli teoria Freuda ma prawo do miana nauki, to o ile można ją potwierdzić poprzez eksperymenty, o tyle można ją na ich drodze obalić.
(q ∧ r) → p - Jeżeli teoria Freuda może być potwierdzona i może być obalona poprzez eksperymenty, to ma prawo do miana nauki.
p → (∼q → r) - Jeżeli teoria Freuda ma prawo do miana nauki, to o ile nie można jej potwierdzić na drodze eksperymentów, o tyle można ją przez nie obalić.
∼q → (p → r) - Jeżeli teorii Freuda nie można potwierdzić na drodze eksperymentu, to o ile ma ona prawo do miana nauki, o tyle można ją poprzez eksperymenty zaprzeczyć.
(∼q ∧ ∼r) → ∼p - Jeżeli teorii Freuda nie można ani potwierdzić, ani obalić na drodze eksperymentów, to nie ma ona prawa do miana nauki.
∼[∼p → (∼q ∧ r)] - Nieprawda, że jeżeli teoria Freuda nie ma prawa do miana nauki, to nie można jej potwierdzić poprzez eksperymenty, a można ją na ich drodze obalić.
LOGIKA