| dbo:abstract
|
- A matematikai logikában diszjunkció (latinul: disiunctio "szétválasztás, szembeállítás") vagy más néven logikai "vagy" alatt egy olyan kétváltozós logikai műveletet értünk, amelynek a akkor és csak akkor hamis, ha mind a két operandusának hamis a logikai értéke. Másként megközelítve: a diszjunkció akkor igaz, ha bármely operandusának igazságértéke igaz.A logikai értelemben vett vagy műveletnek a fentiek értelmében eltérő jelentése van a hétköznapi "vagy" szavunkhoz képest. Természetes nyelven ugyanis a "vagy" szó alatt a "kizáró vagy" műveletét szoktuk érteni, azaz amikor az operandusok közül egyszerre csak az egyik igaz, a kettő együtt nem. Ez a logikai vagy művelettel nem ekvivalens.Például, amikor azt mondjuk, hogy "Küldd el sms-ben, vagy e-mailben!", az alatt azt értjük, hogy vagy az egyik, vagy a másik úton kérjük az adatot, nem azt, hogy mind a két módon szeretnénk megkapni. A hétköznapi beszédben ilyenkor inkább "és"-t mondunk. A diszjunkció jele ∨ vagy +. Logikai összeadásnak nevezik, habár erre a kizáró vagy lenne a jobb jelölt.
* Előfordul, hogy a köznyelvben a vagy kötőszó használata nem kizáró. Például: Szerencséje volt, vagy jól tanult. nem zárja ki azt, hogy mindkét esemény bekövetkezett.
* Programozási nyelvekbe a vagyot gyakran rövidzáras vagy valósítja meg, ami csak akkor vizsgálja meg a második tagot, ha az első hamis.
* A halmazelméletben az unió.
* A predikátumlogikában az egzisztenciális kvantor. (hu)
- A matematikai logikában diszjunkció (latinul: disiunctio "szétválasztás, szembeállítás") vagy más néven logikai "vagy" alatt egy olyan kétváltozós logikai műveletet értünk, amelynek a akkor és csak akkor hamis, ha mind a két operandusának hamis a logikai értéke. Másként megközelítve: a diszjunkció akkor igaz, ha bármely operandusának igazságértéke igaz.A logikai értelemben vett vagy műveletnek a fentiek értelmében eltérő jelentése van a hétköznapi "vagy" szavunkhoz képest. Természetes nyelven ugyanis a "vagy" szó alatt a "kizáró vagy" műveletét szoktuk érteni, azaz amikor az operandusok közül egyszerre csak az egyik igaz, a kettő együtt nem. Ez a logikai vagy művelettel nem ekvivalens.Például, amikor azt mondjuk, hogy "Küldd el sms-ben, vagy e-mailben!", az alatt azt értjük, hogy vagy az egyik, vagy a másik úton kérjük az adatot, nem azt, hogy mind a két módon szeretnénk megkapni. A hétköznapi beszédben ilyenkor inkább "és"-t mondunk. A diszjunkció jele ∨ vagy +. Logikai összeadásnak nevezik, habár erre a kizáró vagy lenne a jobb jelölt.
* Előfordul, hogy a köznyelvben a vagy kötőszó használata nem kizáró. Például: Szerencséje volt, vagy jól tanult. nem zárja ki azt, hogy mindkét esemény bekövetkezett.
* Programozási nyelvekbe a vagyot gyakran rövidzáras vagy valósítja meg, ami csak akkor vizsgálja meg a második tagot, ha az első hamis.
* A halmazelméletben az unió.
* A predikátumlogikában az egzisztenciális kvantor. (hu)
|
