http://www.imagehosting.cz/?v=12133.png
Ahoj, proč negace (p) není formule, když negace r formule je?
Offline
Selským rozumem myslím, že proto, protože nejsou současí daného "útvaru".
Stejně jako věta:
(Sněží <=> je zima /\ je pod bodem mrazu)"Sněží, právě tehdy když je zima a je pod bodem mrazu." je formule "třetího řádu", je zima a je pod bodem mrazu je formule "druhého řádu", a sněží, zima, pod bodem mrazu je formule "prvního řádu" jsou formule, ale formule není "je blátivo, když není pod bodem mrazu", protože se to v té "větě" nevyskytuje.
Je to až tak prosté?
Offline
↑ olympie2015:
Podľa mňa ide iba o formálny zápis, tie zátvorky sa nemôžu dávať len tak lárom fárom.
A možno by bolo treba ukázať aj text, na ktorý sa obrázok odvoláva.
Offline
