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 20. 12. 2021 18:09
Predikátová logika
Ahoj, prosím o konzultaci tohoto příkladu:
Převeďte následující tvrzení do predikátové logiky: "Každý, kdo zná nějakého voliče Miloše Zemana, je sám voličem Miloše Zemana." Využijte unární predikát p(x) - x je voličem Miloše Zemana, a binární predikát r(x,y) - x zná y, pro proměnné z množiny všech lidí.
Moje řešení:
[mathjax](\forall x)r(x;p(x)) \Rightarrow x\in p(x)[/mathjax]
Mám to dobře? Díky moc
Offline
#5 21. 12. 2021 10:35
- check_drummer
- Příspěvky: 4897
- Reputace: 105
Re: Predikátová logika
↑ tama27:
Zkus to postupně - jak bys napsal, že "x zná nějakého voliče Miloše Zemana".
"Máte úhel beta." "No to nemám."
Offline
#6 21. 12. 2021 15:30
Re: Predikátová logika
↑ check_drummer: Asi jako [mathjax]\forall x\exists x(r(x,y))[/mathjax] ?
Offline
#7 21. 12. 2021 15:55
- Eratosthenes
- Příspěvky: 2764
- Reputace: 136
Re: Predikátová logika
↑ tama27:
Napsal jsi "pro každé x existuje x". To asi dobře nebude...
Budoucnost patří aluminiu.
Offline
#8 22. 12. 2021 08:10
- check_drummer
- Příspěvky: 4897
- Reputace: 105
Re: Predikátová logika
↑ tama27:
Nepsal jsem pro každého x, ale jen že x zná nějakého voliče. To co píšeš ty je, že každý človek někoho zná. navíc tam máš jak píše Eratosthenes, doufejme překlep.
"Máte úhel beta." "No to nemám."
Offline