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 26. 12. 2015 22:38 — Editoval Trolstover (26. 12. 2015 22:39)
- Trolstover
- Příspěvky: 72
- Škola: ŠPŠ
- Pozice: študent
- Reputace: 0
logicky platna formula , kontradikcia
Ahoj,
akym sposobom inym ako odhad zistim ci je formula logicka platna , kontradikcia alebo splnitelna?
ako zistim co z toho je tato formula? Snazil som sa vychadzat z logickeho dosledku (teda negacie dosledku , a spravenia semantickeho stromu) , takze som znegoval formulu a snayzil sa spravit semanticky strom ale z toho mi nic nevyslo, akym sposobom sa to eda urcuje?
Offline
#2 29. 12. 2015 19:21
Re: logicky platna formula , kontradikcia
Ahoj.
Jen co mě tak napadlo, vágně řečeno:
jde jen o přejmenování vázané proměnné. Nemělo by záležet na označení vázané proměnné. Takže to je něco jako 
ve výrokové logice, což by měla být logicky platná formule. Jinak pořádně by se to asi dělalo z definice logické platnosti (?)
What does a drowning number theorist say?
'log log log log ...'
Offline