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 01. 06. 2010 16:21 — Editoval Nestor10 (01. 06. 2010 16:49)
Formalizace tvrzení v PL1
Zdravím,
mám menší problémy s formalizací daného tvrzení.
Code:
Existuje číslo, které je větší, než všechna čísla, pouze když je pravda, že druhá mocnina čísla jedna je větší než číslo dva
"pouze když" je nutná podmínka, bude za implikací, takže předpokládám, že by to mohlo být nějak takto:![$\exists x \forall y [P(x , y) \supset P(f(a),b)]$](/mathtex/25/253d58da08eab7cf9de8388c105a976e.gif "kopírovat do textarea")
univerzem jsou přirozená čísla
P - být větší než
f(x): y=x^2
a=1
b=2
Offline
#2 04. 06. 2010 23:44
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: Formalizace tvrzení v PL1
Přijde mi lepší to uzávorkovat takto:![$[\exists x \forall y [P(x , y)]] \supset P(f(a),b)$](/mathtex/95/9531cc4be70daf3bc4157c5388be05b5.gif "kopírovat do textarea")
Tentokrát jsem podlehl a píšu implikaci jako 
, ikdyž je to divné.
BRKOS - matematický korespondenční seminář pro střední školy
Offline