離散數(shù)學(xué)課程作業(yè)(2)-wenkub
2022-08-22 09:34:31 本頁(yè)面
【正文】 。在謂次詞邏輯中將下面命題符號(hào)化：在北京工作的人未必都是北京人（提示：設(shè)F（x）：x在北京工作。R）或（0，1，0）使G的真值為 。命題公式G=（P217。Q）174。 已知命題公式，則G的析取范式是 。G（x）：x是北京人。二、 單項(xiàng)選擇題下列語(yǔ)句中，（ ）是命題。A．析取范式 B．合取范式 C．主析取范式 D．以上答案都不對(duì)設(shè)命題公式，則G是（ ）。 下面給出的一階邏輯等價(jià)式中，（ ）是錯(cuò)的。（P217。Q）218。R）；（2）（P218。（216。P）171。Q（3）（（P174。（P174。G（x））的真值。證明題1. 利用基本等價(jià)式證明下列命題公式為恒真公式。R））174。2
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1