Matematické Fórum

kamilka86 · 29. 05. 2009 10:36

Tohle vůbec netušim, prosím někoho o radu...
Na množině přirozených čísel je daná výroková forma : číslo x na druhou+x+17 je prvočíslo. A mám utvořit existenční a obecný výrok a rozhodnout o jejich pravdivosti...

musixx · 29. 05. 2009 10:46 — Editoval musixx (29. 05. 2009 10:49)

Asi mas na mysli tohle:

$\forall x\in{\mathbb N}:\ (x^2+x+17\ {\rm je\ prvocislo})$ je nepravdivy vyrok - treba pro x=17 je $x^2+x+17$ urcite vetsi nez 17 a pritom sedmnacti delitelne (tedy slozene, a proto ne prvocislo).

$\exist x\in{\mathbb N}:\ (x^2+x+17\ {\rm je\ prvocislo})$ je pravdivy vyrok - takove x urcite existuje a prikladem muze byt treba x=1, nebot 19 je prvocislo (takovych prikladu najdes urcite vic, ale staci jen jeden).

kamilka86 · 29. 05. 2009 11:54

děkuju, jsi zlato...měla jsem problém trochu s tím pravdivým...teď už chápu

Matematické Fórum

#1 29. 05. 2009 10:36

výroková logika

#2 29. 05. 2009 10:46 — Editoval musixx (29. 05. 2009 10:49)

Re: výroková logika

#3 29. 05. 2009 11:54

Re: výroková logika

Zápatí