Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
14
CzęśćI
Napodstawiepowyższychtabelustalwartośćlogicznązdań
zbudowanychwedlepodanychniżejschematówprzezpodstawienie
(A)zdaniaprawdziwegonamiejscep,(B)zdaniafałszywegona
miejscep.
(a)p∧p
(b)p∨p
(c)p→p
(d)p≡p
(e)p∧∼p
(f)p∨∼p
(g)∼(p∧∼p)
(h)∼(p∨∼p)
(i)∼(∼p)→p
(j)p→∼(∼p)
(k)p→(p→∼p)
(l)p→(∼p→p)
8.Ustalwartośćlogicznązdańzbudowanychwedlepodanychniżej
schematówprzezpodstawienie:(A)zdańprawdziwychnamiejscepiq,
(B)zdaniaprawdziwegonamiejscepafałszywegonamiejsceq,
(C)zdaniafałszywegonamiejscepaprawdziwegonamiejsceq,
(D)zdańfałszywychnamiejscepiq.
(a)(p∧q)→p
(b)p→(p∧q)
(c)(p∨q)→p
(d)p→(p∨q)
(e)∼p→∼(p∧q)
(f)∼p→∼(p∨q)
(g)(p∧∼p)→q
(h)p→(∼p→q)
9.Którazpodanychniżejinformacjipozwalaustalićwartość
logicznązdaniaoznaczonegowniejliterąZ,jeślinamiejscupwystępuje
zdanieprawdziwe,namiejscuq–fałszywe,anamiejscur–zdanie
onieznanejwartościlogicznej?
(a)SchematemZjest:p∧(q∨r).
(b)SchematemZjest:p∨(q∧r).
(c)SchematemZjest:∼p∧(q∨r).
(d)SchematemZjest:∼p∨(q∧r).
(e)SchematemZjest:(p∧q)→r.
(f)SchematemZjest:p→(q∧r).
(g)SchematemZjest:(p∨q)→r.
(h)SchematemZjest:p→(q∨r).
(i)SchematemZjest:(p≡q)∨r.
(j)SchematemZjest:(p≡q)∧r.