Formalizálja a predikátumkalkulusban az alábbi ítéletet: Van páros prím. (P (x) : „x prím”; E (x) :„x páros”). Adja meg a fo rmula tagadását úgy, hogy abban ne legyen kvantor tagadása, majd a tagadott formulát fordítsa „köznyelvre”?

Két kvantor van:

Egzisztenciális - létezik, van. Jele: fordított nagy E (mobilon nem találom)

Univerzális - minden, mindig. Jele:∀.

Formálisan: (kvantorral és matematikai jelekkel írd, csak én androidrol vagyok)

"Létezik" n eleme N: P(x) és (háztetö jel) E(x)

Kvantifikált kifejezés tagadása:

Létezikből minden lesz, mindenből létezik lesz, és amire vonatkozik, az tagadva van.

Szóval létezik A tagadása: "minden(re igaz, hogy) nem A. Ez ekvivalens azzal, hogy "nem létezik" A.

Használj De Morgant azonosságot.

Remélem segítettem (mobilról ennyire telik)

(∃ x, x ∈ N)(P(x) ∧ E(x))

(∀ x, x ∈ N)(¬(P(x) ∧ E(x)))

Minden x természetes számra nem igaz a következő állítás: x prím és x páros.