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
Stránky: 1
Zdravím, mam tu prosim úlohu procvicujici matematickou logiku:
Nechť A je splnitelná formule, která obsahuje atomickou formuli p. Nechť B je formule, která vznikla z formule A nahrazením každého výskytu atomické formule p splnitelnou formulí C. Pak formule B je splnitelná formule.
Snažil jsem se najít příklad, kdy neni splnitelná, ale nenašel jsem, jak ale dokážu, ze je splnitelná? A možná nechapu jak formuli p nahradíme tim C
Dekuju
Offline
Stránky: 1