Weboldalunk cookie-kat használhat, hogy megjegyezze a belépési adatokat, egyedi beállításokat, továbbá statisztikai célokra és hogy a személyes érdeklődéshez igazítsa hirdetéseit. További információ

Főoldal Belépés/Regisztráció Egy véletlen kérdés Facebook






Kategória: Tudományok » Alkalmazott tudományok

A kérdés

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”?

Minta ZH feladatban szerepel, és nem tudom, hogy hogyan kéne megoldani. Aki ért hozzá és segít, annak nagyon köszönöm!

  okt. 9. 06:50  Privát üzenet  

A válaszok

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)



A válasz 76%-ban hasznosnak tűnik. A válaszíró 65%-ban hasznos válaszokat ad.
# 1/3Időpont okt. 9. 08:03 Privát üzenet
Hasznos számodra ez a válasz?
A kérdező kommentje:

Köszönöm

# 2/3Időpont okt. 9. 08:16 Privát üzenet
dq nevű felhasználó válasza:

(∃ 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.



A válasz 46%-ban hasznosnak tűnik. A válaszíró 59%-ban hasznos válaszokat ad.
# 3/3Időpont okt. 9. 20:52 Privát üzenet
Hasznos számodra ez a válasz?

Értesítsünk róla, ha új válasz érkezik? Válasz küldése



Kapcsolódó kérdések
Ha 7n + 4 páratlan, akkor 5n + 3 mindig páros, ha n természetes szám?
Minden páros számhoz van két olyan prímszám, amik akkora távolságra vannak egymástól?
Az f (x) = 0 függvényt leszámítva létezik olyan valós függvény, ami egyszerre páros és páratlan?
Miért jelöljük így a páros és páratlan számokat?
Zárt ajaksípok (orgonasípok) hangspektrumából a páratlan számú felhangok, azaz a páros számú részhangok hiányoznak-e?
Hogy lehet igazolni, hogy a páros számok halmaza megszámlálhatóan végtelen?

Kérdések a Tudományok rovatbólKérdések az Alkalmazott tudományok rovatból








Minden jog fenntartva © 2019, www.gyakorikerdesek.hu | GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | WebMinute Kft. | Kapcsolat: info (kukac) gyakorikerdesek.hu

A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!