Matematické Fórum

John123 · 23. 04. 2020 21:20

Ahojte, prosím Vás vedel by niekto ako pretransformovať premisy a záver do jazyka výrokovej logiky? Ďakujem za každú pomoc.

P1: Lietadlo bolo buď zostrelené, napadnuté teroristami alebo malo mechanické zlyhanie
P2. Lietadlo nebolo napadnuté teroristami
P3. Lietadlo nemalo mechanické zlyhanie
................................................................
Z: Preto lietadlo bolo zostrelené.

Postupoval som takto

P1: A -> (B v C v D)
P2:
P3:
................................................................
Z: A -> B

zdenek1 · 23. 04. 2020 21:25

↑ John123:
já bych to udělal takto

P1: S v T v M
P2: T´
P3: M´
---------------
Z: S

John123 · 24. 04. 2020 10:41

↑ zdenek1:

Ďakujem za reakciu. A je v tom prosím nejaký rozdiel v označení, že S, T, M alebo môžem použiť aj A, B, C?

zdenek1 · 24. 04. 2020 11:11

↑ John123:
V písmenech žádný rozdíl není - ta si můžeš zvolit, jak chceš. Rozdíl je v použitých spojkách.

Matematické Fórum

#1 23. 04. 2020 21:20

Transformácia do jazyka výrokovej logiky

#2 23. 04. 2020 21:25

Re: Transformácia do jazyka výrokovej logiky

#3 24. 04. 2020 10:41

Re: Transformácia do jazyka výrokovej logiky

#4 24. 04. 2020 11:11

Re: Transformácia do jazyka výrokovej logiky

Zápatí