Disjuntzio logiko

Disjuntzioa propozizioen arteko operazio bat da: Edo rekin erlaziona daiteke eta logika propozizionala eraikitzeko beharrezkoa da. notazio aldetik "+" edo "" ikurrarekin adieraz daiteke, disjuntzioa definitzeko haren egiazkotasun taulak aztertu behar dira.

egiazkotasun taulak 
disjuntzioaren egiazkotasun taulak hauetsek dira

Taula honetan P eta Q bi esaldi dira eta haien artean nola jokatzen duten adierazten dugu taulak adibidez:

demagun esaldia dela:  gaur purea jan dut edo yogurta jan dut esaldi hau egia da purea jan baduzu eta yogurta ez, yogurta jan baduzu eta purea ez; eta purea eta yogurta jan badituzu ere esaldiak egia izaten jarraitzen du. Azkenik gezurra daez baldin baduzu purerik ez yogurtik jan.

Propietateak 

 Trukakorra da: 
 elkarkorra da: 
 neutroa du eta hau "gezurra" da:   hau diogunean esan nahi dugu P egia bada egia dela eta bestela gezurra
  egia da beti

Beste operazioekiko komportamoldea

Konjuntzioarekin 

 banakorra da 
 konjuntzioa disjuntzioarekiko ere

Ezeztapenarekin 
Hau demorganen legeek arautzen dute:

Simboloa 
Literatura espezializatuan disjuntzio logikoaren sinbolo matematikoa aldatzen da. edo erabiltzeaz gain, normalean v (V) formako sinboloa erabiltzen da. Adibidez a ∨ b  a edo b esan nahi du.

Ondorengo adierazpen guztiak disyuntzioak dira:

a ∨ b

¬a ∨ b

a ∨ ¬b ∨ ¬c ∨ d ∨ ¬e

Multzoen teoriako nozio baliokidea multzoen bildura da.

Erreferentziak

Kanpo estekak 

Matematika