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 19. 06. 2016 16:32

olympie2015
Příspěvky: 34
Reputace:   
 

definice formulí

http://www.imagehosting.cz/?v=12133.png

Ahoj, proč negace (p) není formule, když negace r formule je?

Offline

 

#2 19. 06. 2016 16:39

olympie2015
Příspěvky: 34
Reputace:   
 

Re: definice formulí

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

 

#3 19. 06. 2016 17:37 — Editoval Akojeto (19. 06. 2016 17:37)

Akojeto
Příspěvky: 465
 

Re: definice formulí

↑ 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

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson