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 04. 11. 2009 15:50
výroky
Dobrý den,
potřebovala bych prosím ujasnit několik pojmů:
co znamená další logické spojky: (základní jsou negace, konjunkce a implikace, takže odvozené by měly být disjunkce a ekvivalence),je to pravda???
a co znamená : úprava logických formulí
Moc děkuji.
Offline
#2 04. 11. 2009 18:25 — Editoval gladiator01 (04. 11. 2009 18:28)
- gladiator01
- Místo: Jindřichův Hradec
- Příspěvky: 1587
- Škola: ZČU FAV - SWI
- Pozice: absolvent
- Reputace: 53
- Web
Re: výroky
negace, konjunkce, implikace, disjunkce, ekvivalence - základní
a další jsou Peirceova a Shefferova spojka - výrazy s těmito spojkami vzniknou z výrazů ze zakladními.
úprava logických formulí znamená, že třeba implikaci přepíšeš tak, aby tam byla jen konjunkce nebo disjunkce ne?
Doufám, že se nepletu. Za to co jsem napsala neručím.
Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates
Offline
#4 05. 11. 2009 20:38
- gladiator01
- Místo: Jindřichův Hradec
- Příspěvky: 1587
- Škola: ZČU FAV - SWI
- Pozice: absolvent
- Reputace: 53
- Web
Re: výroky
Zkus se podívat po internetu, zadej heslo výroková logika a vyjedeti hromadu odkazů.
Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates
Offline