"kvantifitseerijad" - 1 õppematerjal

Loogika referaat

(mitte B) (mitte A). Esimene ütleb, et alati kui A on tõene, on ka B tõene, seega kui B on väär, ei saa ka A tõene olla---mida ütlebki teine väide. Reegel 2 Väide mitte(A ja B) on samaväärne väitega (mitte A) või (mitte B). Tähelepanelik tasub olla "või"-ga teises väites! Kui juhtumisi A ja B pole korraga tõesed (esimene väide), siis kas A ei ole tõene või B ei ole tõene. Kvantifitseerijad Mõnikord võime me soovida väita midagi, mis on tõene kõikvõimalike muutuja väärtuste korral. Näiteks olgu D(p) tomatite kogunõudlus hinna p korral, siis võib olla tõene, et D(p) > 100 iga hinna p korral hulgas S. Selles väites on väljend "iga hinna korral" kvantifitseerija. Oluline märkus: Me võime hinna tähistamiseks suvalist sümbolit kasutada: "p" on fiktiivne muutuja. Kui oleme defineerinud D(p) tomatite kogunõudlusena hinna p korral, võime näiteks kirjutada ka