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 29. 09. 2011 15:59
Výroková logika
Ahoj potřebovala bych poradit a zjistit zda je tento příkad počítán správně.
Když jsem si to zkoušela určit sama tak mi to vyšlo jinak. Problém mám hlavně stím, že nevím z čeho se udělalo to 
na konci. Vím přesně jak se určitli ty první 3 sloupečky ale pak se začínám strácet co sčím a, v kterém kroku se to určovalo.
Díky za pomoc
Offline
- (téma jako vyřešené označil(a) zuzik1)
#2 29. 09. 2011 16:20 — Editoval Rumburak (29. 09. 2011 16:27)
Re: Výroková logika
Je chyba v tom řádku 1 1 1 u té implikace ( "1 iplikuje 0" neplatí) .
Všechno jsem nekontroloval, neb při takovémto trhání původní formule na části je to málo přehledné, jak jsi ostatně sama zjistila.
Snažil bych se formuli netrhat:
A B C (A vel non B) implikuje [B právě_ když (A et non C)]
1 1 1 1 1 0 0 1 0 1 0 0 .
Pořadí, v jakém to vyhodnocujeme, je jistě zřejmé (závorky), takže ta implikace příjde na závěr.
Symbolem "fi" je nejspíše míněna celá formule.
Offline
#4 29. 09. 2011 18:39 — Editoval ((:-)) (29. 09. 2011 18:42)
Re: Výroková logika
↑ zuzik1:
Ja myslím, že treba robiť implikáciu k ekvivalencii - a to si asi nerobila...
Najprv bolo treba robiť ekvivalenciu a až potom (k nej) implikáciu.
Myslím, že ekvivalenciu máš komplet zle. Zrejme si použila stĺpec "non B".
Offline