Matematické Fórum

Pan Matematik · 24. 07. 2016 20:40

Dobrý den, neumím si poradit s nasledujícím příkladem: Rozhodněte, zda uvedená výroková formule je tautologií

$A\wedge (B\vee C)\Leftrightarrow (A\wedge B)\vee (A\wedge C)$

Udělal jsem jsi 4 tabulky:

V 1. jsem počítal pravdivostné hodnoty pro výroky $A,B,A\wedge B$
V 2. $B,C,B\vee C$
V 3. $A,C,A\wedge C$
V 4. $A\wedge (B\vee C), (A\wedge B)\vee (A\wedge C), A\wedge (B\vee C)\Leftrightarrow (A\wedge B)\vee (A\wedge C)$

Vyšlo mi to špatně, předpokládám že mám z toho všeho udělat jen jednu tabulku jen nevím jak.Jestli víte i o nějaké jednoduchší metodě na výpočet těchto příkladů,budu povděčnej.

Kenniicek · 24. 07. 2016 22:06

↑ Pan Matematik:

2^3 moznosti ohodnotenia tohto zlozeneho vyroku. Najjednoduchsie pri takom malom pocte je vypisat si vsetky moznosti takze zacnes:
A: 1 1 1 1 0 0 0 0
B: 1 1 0 0 1 1 0 0
C: 1 0 1 0 1 0 1 0
Dalsim krokom ohodnocujes disjunkcie a konjukncie v zatvorkach kedze logicky maju prednost. Potom vyhodnotis konjukcie a disjunkcie, ktore nie su v zatvorkach a nasledne porovnas obe strany ekvivalencie a ked sa tam objavi osem krat 1, tak si vyhral.

misaH · 24. 07. 2016 23:13

↑ Pan Matematik:

Nemôžeš postupovať po dvojiciach...

A B C
1 1 1
1 1 0
1 0 1
0 1 1
1 0 0
0 1 0
0 0 1
0 0 0

Pan Matematik · 25. 07. 2016 00:10

↑ Kenniicek:↑ misaH: Děkuji.

Matematické Fórum

#1 24. 07. 2016 20:40

Výroky

#2 24. 07. 2016 22:06

Re: Výroky

#3 24. 07. 2016 23:13

Re: Výroky

#4 25. 07. 2016 00:10

Re: Výroky

Zápatí