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
+PQegiaegiaegiaegiagezurraegiagezurraegiaegiagezurragezurragezurra
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 

Kategoria:Matematika-terminologia
Kategoria:Logika matematikoa