Matematické Fórum

Amot · 10. 10. 2011 09:43

Ahoj,
jenom pro kontrolu

(p->q) v ¬p <=> (¬p v q) v ¬p <=> (¬p v ¬p) v (¬p v q)

Dá se nějak upravit výraz (¬p v ¬p) ?

Díky,
A.

zdenek1 · 10. 10. 2011 10:04

↑ Amot:
$(\neg p\vee \neg p)\Leftrightarrow\ \neg p$

ale já bych to zjednodušoval takto:
$\neg p\vee(p\Rightarrow q)\ \Leftrightarrow\ (p\Rightarrow (p\Rightarrow q))\ \Leftrightarrow\ (p\Rightarrow q)$

Amot · 10. 10. 2011 10:08

↑ zdenek1:
Mě trochu mate, že podle výsledku paní profesorky má vyjít TRUE.

zdenek1 · 10. 10. 2011 10:28

↑ Amot:

To jistě ne, např. kontrola strojem

Amot · 10. 10. 2011 10:30

↑ zdenek1:
Taky si myslím, že je to blbost.
Kdyby to vypadalo takhle (p->q) v p, tak by k tomu mohla dojít, ale s tímhle zadáním.

I tak díky,
A.

Matematické Fórum

#1 10. 10. 2011 09:43

Výroková logika - zjednodušení výrazu

#2 10. 10. 2011 10:04

Re: Výroková logika - zjednodušení výrazu

#3 10. 10. 2011 10:08

Re: Výroková logika - zjednodušení výrazu

#4 10. 10. 2011 10:28

Re: Výroková logika - zjednodušení výrazu

#5 10. 10. 2011 10:30

Re: Výroková logika - zjednodušení výrazu

Zápatí