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. 09. 2013 16:34

Dafy
Zelenáč
Příspěvky: 6
Reputace:   
 

Úsudek - potřebuji oveření

Dobrý den,
jsem na těchto stránkách nově a proto doufám, že tu podobný příspěvěk ještě není.
Měli jsme zadano: Jestli nebude pršet, pojedeme na chatu.  a => b ( první problém je zde- nemá tady být náhodou ¬a => b ? Je tam zadáno přeci jestli NEbude)
Na chatu jsme nejeli. Usuzuji správně, že venku prší?
Výsledná tabulka:
a   b      a=>b
1  1         1
1  0         1
0  1         1
0  0         1
Zakroužkovaný máme poslední řádek s tím, že podle něj se máme řídit a z něhož by mělo vyplývat, že venku opravdu prší.
Nemělo by to být např takto?
¬a  b      ¬a => b
0     1       1
0     0       1
1     1       1
1     0       0
Pokud ano, tak se mám řídit podle čeho?
Předem všem moc děkuji za nějaké vysvětlení.

Offline

 

#2 26. 09. 2013 19:15

Eratosthenes
Příspěvky: 3111
Reputace:   140 
 

Re: Úsudek - potřebuji oveření

↑ Dafy:

Ahoj,

k prvnímu problému: Záleží na tom, co považujeme za výrok a. Může to být "bude pršet" (pak máš pravdu), ale stejně dobře to může být "nebude pršet", a pak pravdu nemáš.

Za druhé: usuzuješ správně. Výrok "jestliže nejedeme na chatu, pak venku prší" je obměnou výroku "jestliže neprší, pak jedeme na chatu".  Oba výroky tvrdí totéž.

Ale za třetí: obě tabulky máš špatně. V první tabulce - výrok a=>b - má být ve druhém řádku nula a druhá tabulka má být tabulkou té obměny, tedy výroku ¬b => ¬a,  a musí vyjít stejně


Budoucnost patří aluminiu.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson