Wynikanie logiczne na gruncie klasycznego rachunku zdań

Prawda logiczna to zdanie powstałe z prawa logicznego, czyli tautologii, przez podstawienie
za litery zdaniowe (zmienne zdaniowe) konkretnych zdań.

Ze zdań : Z1 , Z2 , Z3 , … , Zn wynika logiczne zdanie Z (co symbolicznie zapisujemy : Z1 , Z2 ,

Z3 , … , Zn ╞ Z) gdy implikacja: (Z1 Z2 Z3 … Zn)Z jest prawdą logiczną.

Zadanie 1.
Czy ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego rachunku zdań, zdanie Z?

Z1: Jeżeli Jan nie będzie schlebiał Piotrowi, to straci posadę.

p q
Z2: Jeżeli Jan straci posadę, to popadnie w kłopoty finansowe.
q r
Z3: Jeżeli Jan będzie schlebiał Piotrowi, to straci dobrą opinię.
p s
Z: Jan popadnie w kłopoty finansowe lub straci dobrą opinię.
r s

Z1: pq
Z2: qr
Z3: ps
Z: rVs

Odp. Ta tautologia jest prawdziwa. Ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego

rachunku zdań, zdanie Z.

Zadanie 2.
Czy ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego rachunku zdań, zdanie Z?

Z1: Jeżeli Jan uczy się pilnie to otrzymuje dobre stopnie.

p q
Z2: Jeżeli Jan nie otrzymuje dobrych stopni to traci humor.
q r
Z3: Jan nie traci humoru.
r
Z: Jan uczy się pilnie.
p
Z1: pq
Z2: qr
Z3: r
Z: p

Odp. Ta formuła nie jest tautologią i z przesłanek nie wynika wniosek. Ze zdań Z1 , Z2 , Z3 nie
wynika na gruncie klasycznego rachunku zdań, zdanie Z.
Zadanie 3.
Czy ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego rachunku zdań, zdanie Z?

Z1: Jeżeli Jan uczy się logiki, to jeśli jego poglądy są wewnętrznie sprzeczne, to je zmieni.
p q r
Z2: Jeżeli Jan zmieni poglądy to straci autorytet.
r s
Z3: Poglądy Jana są wewnętrznie sprzeczne lecz Jan nie uczy się logiki.
q p
Z: Jan nie straci autorytetu.
s
Z1: p(qr)
Z2: rs
Z3: q p
Z: s

Odp. Ta formuła nie jest tautologią i z przesłanek nie wynika wniosek. Ze zdań Z1 , Z2 , Z3 nie
wynika na gruncie klasycznego rachunku zdań, zdanie Z.

Zadanie 4.
Czy ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego rachunku zdań, zdanie Z?

Z1: Jeżeli nauka nie ma granic, to odpowie kiedyś na każde pytanie.

p q
Z2: Jeżeli każda odpowiedź jest źródłem nowych problemów to nauka nie odpowie nigdy na
każde pytanie. r q
Z3: Każda odpowiedź jest źródłem nowych problemów, a nauka nie ma granic.
r p
Z: Nauka odpowie kiedyś na każde pytanie.
q
Z1: pq
Z2: r q
Z3: r p
Z: q

Odp. Ta tautologia jest prawdziwa. Ze zdań Z1 , Z2 , Z3 wynika na gruncie klasycznego

rachunku zdań, zdanie Z.

Zadanie 5.
Opowiedz czy prawdziwe jest zdanie na podstawie pytań.

Nieprawda, że jeżeli Platon założył Akademię, to jeśli Arystoteles był uczniem Platona, to
p q
Arystoteles nie uczęszczał do Akademii.
r
1) Czy Platon był założycielem Akademii?
2) Czy Arystoteles był uczniem Platona?
3) Czy Arystoteles uczęszczał do Akademii Platońskiej?

Odp. Wszystkie zdania są prawdziwe.

Zadanie 6. (praca domowa)
Które z podanych niżej zdań wynika na gruncie klasycznego rachunku zdań ze zdania:

Brutus zabił Cezara.

p

Z1: Brutus zabił Cezara lub Kasjusz zabił Cezara.

p q
Z2: Jeżeli Brutus zabił Cezara to Kasjusz nie zabił Cezara.
p q
Z3: Brutus zabił Cezara, a Kasjusz nie zabił Cezara.
p q
Z4: Jeżeli Brutus nie zabił Cezara to Kasjusz zabił Cezara.
p q
Z5: Jeżeli Kasjusz nie zabił Cezara to Brutus zabił Cezara.
q p

Z1: pVq
Z2: p→ q
Z3: p q
Z4: p→q
Z5: q→p