Gizapedia

Kuantifikatzaileak (logika)

KategoriakFilosofia

Agian, kuantifikatzaileak hizkuntzalaritzan bilatzen ari zinen.

Logikan, kuantifikatzaileak propietate edo baldintza bat betetzen duten elementuen kopurua adierazten duen sinbolo edo adierazpenak dira:

  • Kuantifikatzaile unibertsala: \forall \, x, y \ldots
  • Kuantifikatzaile existentziala: \exists \, x, y \ldots
  • Kuantifikatzaile existentzial bakarra: \exists ! \, x, y \ldots
  • Kuantifikatzaile existentzialaren ezeztapena: \nexists \, x, y \ldots

Loturiko artikuluak

  • Konjuntzioa (logika)

    Logikan, konjuntzioa bi proposizio lotzen dituen lokailu logiko bat da, egiazko suertatzen dena bi proposizioak egiazkoak direnean, eta beste kasu guztietan faltsua suertatzen dena. [latexpage] $\land$ ikurraren bitartez…

  • Logika

    Logika inferentzia deduktiboaren bidezko arrazonamendua aztertzen duen jakintza-arloa da, premisa izeneko proposizioetatik konklusioetara nola heldu aztertzen duena; zehatzago, arrazonamendu horren baliozkotasun formala aztertzen du, premisetatik konklusiora egindako urratsak…

  • Korolarioa

    Bereziki matematikan eta logikan, korolarioak teorema batetik zuzenean eta maiz frogapen berezirik gabe eratortzen diren proposizioak dira.

164 hitz

Artikulu bat eskatu

Erabili ezazu galdetegi hau artikulu eskaera bat bidaltzeko. Lehenbailehen osatzen saiatuko gara.



Harpidetu zaitez

Gure azken edukien berri jaso nahi baduzu zure email helbidean, egin zaitez harpidedun hurrengo galdetegi hontan.