#1 28. 04. 2016 21:18
- olympie2015
- Příspěvky: 34
- Reputace: 0
logika
Dva výroky:
Jestliže je léto A, pak je teplo B (implikace).
Není teplo B, nebo není zima C. (disjunkce).
Vzorec:
(A => B) /\ ( L B \/ L C)
(L je znak pro negaci).
Jak to ale rozepsat do tabulky?
Děkuju...
Offline
#2 28. 04. 2016 21:20
#3 28. 04. 2016 21:31 — Editoval misaH (28. 04. 2016 21:33)
- misaH
- Příspěvky: 13467
Re: logika
↑ olympie2015:
No - asi ako vždy
A B C A impl.B LB LC LB V LC a nakoniec tú konjunkciu
Treba všetky možnosti pre ABC od 111 po 000 a vyrobiť mechanicky tie pravdivostné hodnoty.
Ale odpovedz na otázku od Al1: o čo v úlohe ide?
Offline
#4 28. 04. 2016 22:26
Offline
#5 29. 04. 2016 00:02 Příspěvek uživatele Hell_on_Wheels byl skryt uživatelem Hell_on_Wheels. Důvod: Je to blbě
#6 29. 04. 2016 06:25
Re: logika
↑ Hell_on_Wheels:
Zdravím,
ano, to je skutečně tabulková metoda posouzení pravdivosti nějaké výrokové formule. A jako maturant vidíš, že neodpovídá zadání ↑ olympie2015:, protože ona zkoumá formuli pro tři výroky A, B, C.
Offline