Fråga om Logik

Tjo

Hoppas att detta hamnar i rätt forum nu, hittade inget som var specifikt gjort för logik. Går en kurs nu och har det lite knepigt att förstå predikatlogiken.

T.ex. sen sats som: x(Vän till (x,Hans)--> (icke) Vän till(x,Greta))

Kvadraten skall vara ett uppochnedvänt A, eller tecknet för allkvantifikator.

Tecknet skall alltså betyda: ''för varje x så gäller''.

Blir det alltså ''Om man är vän med Hans, så är man inte vän med Greta.''?

Får inget vidare grepp om det, då boken är väldigt luddig. Någon som har ett bra sätt att förklara på?

Tack på förhand!