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 24. 09. 2012 14:04
Logické spojky - [Výroková logika];
Ahoj všichni, dělám si úlohy z matematické logiky a narazil jsem na tento "zapeklitý" příkládek.
Výroková logika Převoditelnost logických spojek
18) Jestliže použiji symbol pro kontradikci ? nebo symbol pro tautologii > a k tomu
přidám jednu další logickou spojku, mohu též vyjádřit všechny ostatní logické
spojky logicky ekvivalentními formulemi? Jak?
Přesněji: kromě písmen pro označení prvotních formulí použiji pouze dva speciální
symboly: první bud’ pro kontradikci ? nebo pro tautologii > a druhý pro jednu z
logických spojek (¬,^,<-> ->,),,). Jak?
Díky moc všem :)
Offline