Hogyan kell formalizálni, az alábbi állítást?
Figyelt kérdés
Pontosan egy páros prímszám létezik.
Felhasználhatóak a következő definíciók:
- P(x) = x prím szám
- O(x,y) = x osztója y-nak
2018. nov. 14. 14:44
1/1 anonim válasza:
∃!x (O(2,x)∧P(x))
Ha nem szabad a felkiáltójeles léteziket használni, akkor itt a feloldás:
(Illetve ez ugye akkor igaz, ha x természetes szám/pozitív egész.)
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!