1、如果我學(xué)習(xí),那么我數(shù)學(xué)不會不及格；如果我不熱衷于玩游戲機(jī),那么我將學(xué)習(xí)；但我數(shù)學(xué)不及格.因此我熱衷于玩游戲機(jī).
2.張三或李四的彩票中獎了；如果張三的彩票中獎了,那么你是知道的；如果李四的彩票中獎了,那么王五的彩票也中獎了；現(xiàn)在你不知道張三的彩票中獎.所以李四和王五的彩票都中獎了.
1、p：我學(xué)習(xí)；q：及格；r：玩游戲機(jī)
歸謬賦值法證明題1：
（（p→～～q）∧（～r→p）∧～q））→r
T TT F TT TFTTTT FT F
2、p：張中獎：q：李中獎；r：你知道；s：王中獎
自然推理證明題2：
①｛1｝p∨q
②｛2｝p→r
③｛3｝q→s
④｛4｝～r/∴q∧s
⑤｛2.4｝～p②④→-
⑥｛1.2.4｝q①⑤∨-
⑦｛1.2.3.4｝s ③⑥→-
⑧｛1.2.3.4｝q∧s ⑥⑦∧＋
證畢