wyjasnienie znaków lukaskrol: Cześć, mam zadanie gdzie polecenie polega na ocenieniu wartości logicznych zdań a np w 1. przykładzie mam znak koniunkcji a pod nim, że x∊R i na prawo od tego znak alternatywy, a pod nim, że y∊R i dalej x² − xy > 0 to całe zdanie jest w jednej linijce

ite: Te znaki nie oznaczają koniunkcji ani alternatywy. Są to kwantyfikatory.

janek191: ⋁ ⋀ x² − xy > 0 x∊ℛ y∊ℛ

lukaskrol: Dziękuję za pomoc

ite: janek191 chyba kolejność kwantyfikatorów odwrotna

janek191: Tak . Powinno być odwrotnie.