Matematické Fórum

Lolofon · 18. 06. 2017 22:29

Ahoj, mam mnozinu formuli $a \Rightarrow (b\wedge c), b\Rightarrow (a\wedge c)$ . Mam vybrat jednu z nasledujucich formuli, ktora je semantickym dosledkom mnoziny. Ak su moje znalosti spravne, tak by mala byt pravdiva vtedy ak budu pravdive obe formule z mnoziny. Na vyber je $c, a \Rightarrow b, b,a, c\Rightarrow b$ Zial ani jedno z uvedenych nesplnuje podmienku, ze formula je pravdiva, ak su pravdive aj formuly z mnoziny. Pridavam fotku mojho riesenia. Viete mi povedat, kde robim chybu? Dakujem.

//forum.matweb.cz/upload3/img/2017-06/17653_FullSizeRender%2B3.jpg

jarrro · 19. 06. 2017 07:48 — Editoval jarrro (19. 06. 2017 07:48)

Podľa mňa je $D$ dôsledkom množiny $\{ A, B\}$
práve vtedy keď platí
$$A\Rightarrow D$\vee$B\Rightarrow D$$

Lolofon · 19. 06. 2017 09:56

Ahoj, velmi som nepochopil tvojej odpovedi. Musim vybrat prave jednu z moznosti, ktore som uviedol cize
A.) c
B.) a=>b
C.) b
D.) a
E.) c=>b
Neviem, odkial zoberiem to D. Dakujem velmi pekne za odpoved.

Stýv · 19. 06. 2017 10:01

Kdy neplatí a=>B a přitom platí obě formule z množiny?

Lolofon · 19. 06. 2017 10:11

Aha, takze aby to bol logicky dosledok, musia platit obe formule z mnoziny, a zaroven platit aj ten vyrok z moznosti?

Myslel som si, ze staci ak je pravdiva aspon jednaformula z mnoziny, musi byt pravdivy aj ten vyrok s ktorym to porovnavam. Tak super dik?

Stýv · 19. 06. 2017 11:16

Lolofon napsal(a):
Ak su moje znalosti spravne, tak by mala byt pravdiva vtedy ak budu pravdive obe formule z mnoziny.

Vždyť jsi to tak sám napsal.

Lolofon · 19. 06. 2017 11:32

Vlastne hej :D Uz jedno pisem a nad druhym rozmyslam. Ok ospravedlnujem sa, spravne je teda A=>B. Diky :)

jarrro · 19. 06. 2017 15:09

D som označil výrokovú premennú. teda som tým len chcel povedať, že niečo je dôsledkom nejakej množiny výrokov práve vtedy keď z aspoň jedného vyplýva

Matematické Fórum

#1 18. 06. 2017 22:29

Semanticky dosledok

#2 19. 06. 2017 07:48 — Editoval jarrro (19. 06. 2017 07:48)

Re: Semanticky dosledok

#3 19. 06. 2017 09:56

Re: Semanticky dosledok

#4 19. 06. 2017 10:01

Re: Semanticky dosledok

#5 19. 06. 2017 10:11

Re: Semanticky dosledok

#6 19. 06. 2017 11:16

Re: Semanticky dosledok

Lolofon napsal(a):

#7 19. 06. 2017 11:32

Re: Semanticky dosledok

#8 19. 06. 2017 15:09

Re: Semanticky dosledok

Zápatí