Ez a logikai formula helyes?
Figyelt kérdés
∀𝑥(𝐸(𝑥) ⇒ ∃𝑦(𝑃(𝑥) ∧ 𝐼(𝑥, 𝑦)))
Én úgy gondolom, hogy nem, mivel 2 ellentétes állítás van benne: x egyenes, majd ebből jön hogy x pont?
A helyes (szerintem) így lenne:
∀𝑥(𝐸(𝑥) ⇒ ∃𝑦(𝑃(Y) ∧ 𝐼(y, X)))
Igazam van?
2017. jan. 8. 11:43
1/7 anonim válasza:
Gondolom E(x) az egyenes akar lenni, ekkor x az E egyenes egy adott pontja (legalábbis ha nincs más megkötés, megegyezés szerint a legkisebb egységet értjük alatta, az itt a pont), szóval itt x sehol nem egyenes.
2/7 anonim válasza:
most en nem latok az eredeti kifejezesben se x-et, se egyenest, se pontot vagy tenyleg csak ennyit irtal h:
∀ (() ⇒ ∃ (() ^ (,)))
?
3/7 anonim válasza:
MINDENx(E(x)) ODANYÍL LÉTEZIKy(P(x) ÉS I(x, y))
Ezt írta.
4/7 A kérdező kommentje:
E(x): x egyenes
P(x): x pont
I(x, y): x illeszkedik y-ra.
Ezek a megkötések voltak még a pdf elején, szóval E(x) jelentése, hogy x egy egyenes, nem? Ergó a fentebb írt formulám nem helyes, csak a 2.
2017. jan. 8. 13:50
5/7 anonim válasza:
na gépről látszik...
ha ez van a pdf elején
"E(x): x egyenes
P(x): x pont
I(x, y): x illeszkedik y-ra."
akkor a költő valszeg erre gondolt:
∀𝑥(𝐸(𝑥) ⇒ ∃𝑦(𝑃(𝑦) ∧ 𝐼(𝑦, 𝑥)))
6/7 anonim válasza:
Nem helytelen, csak hamis. Igen, az értelmes verzió valószínűleg az, ahogy kijavítottad, meg ahogy mások is írták, de érteni kéne emellé, hogy logikai szepontból ez egy jólformált elsőrendű formula, tehát nem logikailag hülyeség, hanem geometriailag.
7/7 A kérdező kommentje:
Köszönöm a válaszokat!
2017. jan. 8. 16:05
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!