Quyidagi predikatlar mantig`i formulalarini normal formaga keltiring


Download 8.76 Kb.
Sana23.04.2023
Hajmi8.76 Kb.
#1389330
Bog'liq
Diskret matematika va matematik mantiq 2 modul topshirig\'i Aliyeva

2-Modul topshiriqlari


Quyidagi predikatlar mantig`i formulalarini normal formaga keltiring.
Variant :3
3. (βˆƒπ‘₯(π‘₯) β†’ βˆ€π‘₯𝑃(π‘₯) β†’ βˆƒπ‘₯𝑄(π‘₯)) ∨ βˆ€π‘₯𝑄(π‘₯)
(βˆƒπ‘₯𝑃(π‘₯) β†’ βˆ€π‘₯𝑃(π‘₯) β†’ βˆƒπ‘₯𝑄(π‘₯)) ∨ βˆ€π‘₯𝑄(π‘₯)=
((βˆƒπ‘₯P(π‘₯) V βˆ€π‘₯𝑃(π‘₯)) β†’βˆƒπ‘₯𝑄(π‘₯)) ∨ βˆ€π‘₯𝑄(π‘₯)=
βˆƒ π‘₯P(π‘₯) V βˆ€π‘₯𝑃(π‘₯) V βˆƒπ‘₯𝑄(π‘₯) ∨ βˆ€π‘₯𝑄(π‘₯)=
βˆƒπ‘₯P(π‘₯) ∧ βˆ€π‘₯𝑃(π‘₯) V βˆƒπ‘₯𝑄(π‘₯) ∨ βˆ€π‘₯𝑄(π‘₯)=
βˆƒ π‘₯P(π‘₯) ∧ βˆƒπ‘₯𝑃(π‘₯) V βˆƒπ‘₯𝑄(π‘₯) ∨ βˆ€π‘₯𝑄(π‘₯)=
βˆƒx(𝑃(π‘₯) ∧ 𝑃(π‘₯)) V βˆƒπ‘₯𝑄(π‘₯) ∨ βˆ€π‘₯𝑄(π‘₯)=
βˆƒπ‘₯Q(π‘₯) ∨ βˆ€π‘₯𝑄(π‘₯)= βˆƒπ‘₯𝑄(π‘₯) ∨ βˆ€yQ(y)=
βˆƒπ‘₯βˆ€y(𝑄(π‘₯) ∨ Q(y))

Javob: βˆƒπ‘₯βˆ€y(𝑄(π‘₯) ∨ Q(y))
Download 8.76 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling