擬似条件 寒い 温まりた い 温かいもの を飲みたい ∩ お茶を入 れた 温かいお茶がポットに 入っている お茶 を飲 む 擬似条件 テニス をした 汗をかい た さっぱりした い ∩ 風呂を沸 かした 風呂が温 まっている 入浴 する 擬似条件 食事後 タバコを吸 いたくなる ∩ タバコを 買った タバコがあ る タバコを 吸う 擬似条件 お金がある 近くの店にCD-RWを 売っている CD-RW が欲しい CD-RWを が買いたい ∩ 近くの店に行っ てCD-RWを買 う 誘導推論 ①水をあげなければ 水をあげれば ②ギャンブルしなければ ギャンブルすれば ③急がなければ 急げば ④マラソンを走らなければ マラソンを走れば ⑤お金がなければ お金があれば 花は枯れる 花は枯れない 負けない 負ける 間に合わない 間に合う 体育の単位を落とす 体育の単位を落とさない ジュースを買えない ジュースを買える While, Whenの替わりの If Then ① 汚れなければ、掃除しない 掃除しなければ、汚れる P:汚れる Q:掃除する ~P → ~Q ~Q → P ② 空腹ならば、食事する 食事をすれば、空腹ではなくなる P:空腹 Q:食事する P → Q Q → ~P
© Copyright 2024 ExpyDoc