Kezdőoldal » Tudományok » Egyéb kérdések » Ez a logikai formula helyes?

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.
2017. jan. 8. 12:49
Hasznos számodra ez a válasz?
 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:


∀ (() ⇒ ∃ (() ^ (,)))


?

2017. jan. 8. 12:58
Hasznos számodra ez a válasz?
 3/7 anonim ***** válasza:

MINDENx(E(x)) ODANYÍL LÉTEZIKy(P(x) ÉS I(x, y))


Ezt írta.

2017. jan. 8. 13:30
Hasznos számodra ez a válasz?
 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:


∀𝑥(𝐸(𝑥) ⇒ ∃𝑦(𝑃(𝑦) ∧ 𝐼(𝑦, 𝑥)))

2017. jan. 8. 14:03
Hasznos számodra ez a válasz?
 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.
2017. jan. 8. 14:35
Hasznos számodra ez a válasz?
 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!