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
Ahoj,
mám zadaný příklad a nevím si s ním moc rady. Mohl by jste mi prosím někdo, stačí bodově, popsat cestou k řešení? Ani nevím, jak přesně začít . . . Díky moc ;)
Příklad: Jakou vlastnost má formule , pokud platí následující
Nevím, jak zadat ⊨ do latxu, tak jsem ho nahradil |=
Offline
ahoj, tak bodově ten první. Druhý určitě zvládneš.
víme že má platit tato implikace,
to znamená, že je li nemůže najednou nastat aby bylo pravdivé a nepravdivé
to znamená, že je li nemůže najednou nastat aby bylo i nepravdivé
to znamená, že je li nemůže najednou nastat aby bylo pravidvé a s nepravdivé
takže je li pravda a nepravda, musí být pravda
tedy musí plynout z
PS: \models ..
Offline
a OT doporučení. Když děláš tabulku, tak je dobrý v prvním sloupci (u výrokových proměnných) (ideálně vpravo) střídat 0 a 1. V druhém sloupci pak střídat dvě 0 a dvě 1, ve třetím čtyří 0 a čtyři 1, ... a tak dál.
Má to pak lepší systém, nemusí se tak hlídat jestli jsi něco nevynechal, či nemáš dvakrát (a v neposlení řadě se to lépe kontroluje (nejen učiteli))
Offline