Mit jelentenek a következő szavak a matematikában: "és", "vagy", "minden", illetve "van olyan"?

A 'vagy' kivételével mind ugyanazt jelenti, mint a köznyelvben, csak szigorúbban kell venni. (Például a 'Hamilton mindig győz' az a matematikában nem igaz, mert például tavaly Kanadában nem győzött.)

A matematikai 'vagy' annyiban különbözik a köznyelvi 'vagy'-tól, hogy megengedő, még a köznyelvi kizáró. Például a matematikában az korrekt, hogy ha 'lemegyek a boltba és veszek kenyeret vagy tejet', akkor 'kenyeret és tejet is veszek', még ha az anyuka azt mondja, hogy 'a hétvégén állatkertbe megyünk vagy moziba', az nem engedi meg, hogy 'állatkertbe és moziba is menjünk', az egyiket kizárja a gyereknek választania kell.

A és B: csakis mindkettő együtt igaz

A vagy B: valamelyik biztosan igaz, vagy akár mindkettő

minden: egy halmaz összes eleme, nincs kivétel

van olyan: egy halmazban létezik adott elem, lehet akár az összes is, de egy biztosan.

Csak annyiban egeszitenem ki, hogy:

-az univerzalis kvantor ("minden") jele egy fejjel lefele forditott A betu

-az egzisztencialis kvantor ("letezik"/"van olyan") jele egy balra nezo E betu

(ezek kozul mindketto az allitas ele kerul)

A vagy jele egy v betu, az es ugyanez felforditva (ezt a kettot a ket kifejezes koze irod).