KRZ2

1.3. Tam gdzie jest to możliwe, określ wartość całego zdania w przykładach z poprzedniego zadania, w iedząc, ze p - 0

1.4.    Tam gdzie jest to możliwe określ wartość zmiennej q, wied/ąc że cale zdanie o podanym schemacie jest prawdziwe, natomiast p = 0.

a) p-*q    d)'q —► ~ p    g)-pA(pvq)

b)    q -♦ p    e) - (p v q)    h) (p v - q) = - p

c) p»q    f)- (p aq)    i)q'/-(p-»q)

1.5.    Sprawdź, czy formula jest tautologią metody wszystkich możliwych podstawień. Następnie sprawdź to samo przy pomocy metody skróconej.

a) p->(p-»q)    d)(p —*q> —><- pvq)    g)|(p-»q)Aq|^(p-q)

b)    <p • q) -* (p v q)    e> (p a - q)-* - ( p ->q)    h) (p -* q) - (- q -* - p)

c)    (p a q)v(p -> q)    0(p    = q)-+[(p->q)vqj    i)( - p-> q) = (q-> p)

Porównaj wyniki otrzy mane obydwiema metodami Jeżeli jeszcze nie całkiem rozumiesz ideę działania metody skrócone!, zwróć uwagę, na następujące fakty W przypadku formuł, które okazały się zawsze prawdziwe, gdy sprawdzałeś je zw ykłą metodą, założenie, ze mogą okazać się fałszywe (przy metodzie skróconej) prowadzi do sprzeczności. Sprzeczność ta wskazuje, ze formuła nie może stać się schematem zdania fałszywego, a więc musi być zawsze prawdziwa W obu metodach ten sam fakt został wykazany różnymi sposobami

Jeśli przy sprawdzaniu zwykłą metodą, okazywało się, ze formuła może okazać się schematem zdania fałszywego przy pewnym konkretnym podstawieniu, to badając formułę metodą skróconą, otrzymujemy to właśnie podstawienie jako to. przy którym nie ma sprzeczności

1.6.    Sprawdź, czy formuła jest kontrtautologią metodą wszystkich możliwych podstawień. Następnie sprawdź to samo przy pomocy metody skróconej.

a) (p vq) a (p a - q)    c)pA~(p-^q)    e)~(pvq)A<-p-»q)

b) (p a q) a ( p ► — q)    d) - [ p -> (p -* - q)]    0 (p = q) a - (p -» q)

Podobnie jak w poprzednim zadaniu porównaj wyniki otrzymane obydwiema metodami i zauważ występujące prawidłowości

2