3.2 Totuustaulut
342
%5Cvee%5Cleft(%5Cneg%20A%5Cwedge%5Cneg%20B%5Cright)%5C%5C%0A%5Chline%0A1%261%261%261%5C%5C%0A1%260%260%260%5C%5C%0A0%261%260%260%5C%5C%0A0%260%261%261%0A%5Cend%7Barray%7D)
337
%26%5Cneg%5Cleft(%5Cneg%20A%5Cvee%5Cneg%20B%5Cright)%26A%5Cwedge%20B%5C%5C%0A%5Chline%0A1%261%261%261%261%5C%5C%0A1%260%261%260%260%5C%5C%0A0%261%261%260%260%5C%5C%0A0%260%260%260%260%0A%5Cend%7Barray%7D)
jälkimmäinen lause on ekvivalentti
336
%5C%5C%0A%5Chline%0A1%261%260%260%5C%5C%0A1%260%261%261%5C%5C%0A0%261%260%260%5C%5C%0A0%260%261%261%0A%5Cend%7Barray%7D)
lauseet on ekvivalentit
334
%5Cvee%5Cleft(%5Cneg%20A%5CRightarrow%20B%5Cright)%5C%5C%0A%5Chline%0A1%261%261%5C%5C%0A1%260%260%5C%5C%0A0%261%261%5C%5C%0A0%260%261%0A%5Cend%7Barray%7D)
331
%26%5Cneg%20P%5CRightarrow%5Cneg%20S%26P%5Cwedge%5Cneg%20S%5C%5C%0A%5Chline%0A1%261%260%261%260%5C%5C%0A1%260%261%261%261%5C%5C%0A0%261%260%260%260%5C%5C%0A0%260%260%261%260%0A%5Cend%7Barray%7D)
hilma on oikeassa
329
%5Cvee%20B%5C%5C%0A%5Chline%0A1%261%261%5C%5C%0A1%260%260%5C%5C%0A0%261%261%5C%5C%0A0%260%260%0A%5Cend%7Barray%7D)
lause on tosi kun B on tosi
328
333
a) menen kalaan jos on lauantai ja en mene kalaan jos ei ole hyvä sää
b)
%5Cwedge%5Cleft(%5Cneg%20C%5CRightarrow%5Cneg%20B%5Cright)%5C%5C%0A%5Chline%0A1%261%261%260%261%5C%5C%0A1%261%260%261%260%5C%5C%0A1%260%261%260%260%5C%5C%0A1%260%260%261%260%5C%5C%0A0%261%261%260%260%5C%5C%0A0%261%260%261%260%5C%5C%0A0%260%261%260%260%5C%5C%0A0%260%260%261%260%0A%5Cend%7Barray%7D)
b)
347
a) ei, koska C on myös vaihtoehto
b) joo, koska jos mikään lauseista ei ole tosi, silloin \neg B on tosi, väitelause on siis aina tosi
b) joo, koska jos mikään lauseista ei ole tosi, silloin \neg B on tosi, väitelause on siis aina tosi
339
Hannu menee bileisiin