Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 26. 03. 2019 11:57

Jakub09
Příspěvky: 42
Reputace:   
 

Logika,vyplývanie

Peter povedal: „Keď dostanem päťku, nebudem sa pozerať na televíziu a budem sa učiť.“
Ktorá z nasledujúcich situácií stýmto výrokom nie je v súlade?

1. Peter dostal päťku, nepozeral sa na televíziu a učil sa.

2. Peter dostal päťku, nepozeral sa na televíziu a neučil sa.

3. Peter nedostal päťku, pozeral sa na televíziu a učil sa.

4. Peter nedostal päťku, nepozeral sa na televíziu a učil sa.

5. Peter nedostal päťku, pozeral sa na televíziu a neučil sa.

Správna odpoveď je číslo 2.

Dobrý deň,

chcel by som sa spýtať na postup riešenia tejto úlohy. Nenapadá niekoho rýchlejší spôsob ako vyplývanie ? Ja to riešim pomocou vyplývania čiže podľa: Formula ψ vyplýva z formúl φ1, φ2, ..., φn práve vtedy, keď formula $(\varphi _{1}\wedge \varphi _{1}\wedge ...\wedge \varphi _{n}) \Rightarrow \psi $ je tautológia. Teda si urobím urobím pravdivostnú tabulku z Petrovho výroku v zadaní z toho mi vyjde nejaka pravdivost toho zlozeneho vyroku ktoru oznacim ako $\psi $ a potom si uz len robim pravdivosti jednotlivych možnosti od 1 do 5 a dosadzam do $1,2 ...5\Rightarrow \psi $.

Ďakujem za pomoc.

Offline

  • (téma jako vyřešené označil(a) Jakub09)

#2 26. 03. 2019 12:14

vlado_bb
Moderátor
Příspěvky: 6212
Škola:
Reputace:   142 
 

Re: Logika,vyplývanie

↑ Jakub09: Staci si uvedomit, ze vyrok nehovori nic o pripade, ze 5 nedostane, teda moznosti 3,4,5 neprichadzaju do uvahy. No a potom je uz lahke uvidiet, ze v pripade 1 slub dodrzal a v pripade 2 nie.

Offline

 

#3 26. 03. 2019 12:24

Jakub09
Příspěvky: 42
Reputace:   
 

Re: Logika,vyplývanie

↑ vlado_bb: Pravda. Ďakujem za pomoc

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson