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 25. 09. 2019 23:00
- Belaskova.L
- Příspěvky: 54
- Reputace: 0
Logika
Ahoj všichni,
pomáhám známé a nevím si rady se symbolem. Vím, že 
je diskjunkce. Ale v úloze je toto "v" podtržené. Může mi prosím někdo pomoci, co to znamená?
Díky.
Offline
- (téma jako vyřešené označil(a) Belaskova.L)
#2 25. 09. 2019 23:19
Re: Logika
↑ Belaskova.L:
To podtržené v znamená ostrou disjunkci. Resp. obě dvě podmínky nemohou být zároveň pravdou.
Offline
#4 26. 09. 2019 10:09 — Editoval Belaskova.L (26. 09. 2019 10:10)
- Belaskova.L
- Příspěvky: 54
- Reputace: 0
Re: Logika
↑ Belaskova.L:
Úloha zní:
Rozhodněte, zda jsou si výroky ![$C=[(A\Rightarrow B)\wedge (B\Rightarrow A)]$](/mathtex/61/61cbc0b601636ccfb09b293ba6561bbe.gif "kopírovat do textarea")
a 
ekvivalentní. (disjunkce je ostrá).
Mé řešení:
A B 
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 1 1 1
A B 
0 0 0 1
0 1 1 0
1 0 1 0
Protože je to ostrá disjunkce, variantu 1 1 neřeším.
Z toho vyplývá, že výroky nejsou ekvivalentní.
Je to prosím tak?
Offline
![$\begin{matrix}
A & B & \(A\Rightarrow B\) & \(B\Rightarrow A\) & \(A\Rightarrow B\)\wedge\(B\Rightarrow A\) & \(A\underline{\vee}B\) & \sim\(A\underline{\vee}B\) & \[\(A\Rightarrow B\)\wedge\(B\Rightarrow A\)\]\Leftrightarrow\[\sim\(A\underline{\vee}B\)\]\\
1 & 1 & 1 & 1 & 1 & 0 & 1 & 1\\
1 & 0 & 0 & 1 & 0 & 1 & 0 & 1\\
0 & 1 & 1 & 0 & 0 & 1 & 0 & 1\\
0 & 0 & 1 & 1 & 1 & 0 & 1 & 1
\end{matrix}
$](/mathtex/22/22fefbb67e058eea384ba681d9084569.gif "kopírovat do textarea")
#6 26. 09. 2019 11:19 — Editoval krakonoš (26. 09. 2019 11:20)
Re: Logika
↑ jarrro:
Ahoj
Přesně s tímto problémem jsem se setkala včera apředevčírem - středoškolská sekce , logika a výroky.Jde o výrok "Pojede Čeněk nebo Adam, ale ne oba současně". Přišlo mi nejlepší to přiřadit negaci ekvivalence, nebo doporučit studentovi disjunkci a prostě vyřadit průnik. Dále zde bylo použito "Nepojede-li Čeněk, pak nepojede Béďa", tam jsem doporučila převést tento výrok na "Pojede-li Béďa, pak pojede Čeněk" a dále postupovat podle známých pravidel.
Dotyčný student ale dále nespolupracoval.
tg(x) je funkcí života.Jednou jsi nahoře🗽, podruhé zas dole 🗿.
Offline
#7 01. 10. 2019 08:51
- Belaskova.L
- Příspěvky: 54
- Reputace: 0
Re: Logika
↑ jarrro:
Proč řeším u ostré disjunkce i variantu 11, když Pomeranc výše píše, že "obě dvě podmínky nemohou být zároveň pravdou"?
Offline
#8 01. 10. 2019 09:49 — Editoval jarrro (01. 10. 2019 09:49)
Re: Logika
↑ Belaskova.L:že "nemôžu byť zároveň pravdou" znamená, že ak sú tak je výrok 
nepravdivý.
Nikto nepísal, že to máš ignorovať.
MATH IS THE BEST!!!
Offline