離散數(shù)學(xué)課程作業(yè)(2)(文件)
【正文】 16。Q218。P217。P217。Q， R174。4. 利用形式演繹法證明：蘊涵Q。小王沒學(xué)好數(shù)學(xué)（即數(shù)學(xué)成績不好）。G（y））=$xF（x）174。 （提示：先將命題符號化，再用形式演繹法推出正確與否。如果小王是理科生，他的數(shù)學(xué)成績必好。R }蘊涵Q218。R）2. 證明等價式。Q）218。R）））218。P217。R） （（P218。Q）217。試將命題“某些人對某些食物過敏”符號化。3；G（x）：x5。（Q174。（P174。R））；用真值表判斷下列公式是恒真？恒假？可滿足？（1）（P217。R））217。P217。通過求主析取范式判斷下列命題公式是否等值。（P218。 已知命題，則所有使G取真值1的解釋是（ ）。 D．請把門關(guān)上。將公式化成等價的前束范式，
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1