dysjunkcja 2
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
Definition
zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań.
Examples
- 1.W języku potocznym funktorowi temu odpowiada „nieprawda, że p i q” (ponieważ dysjunkcja jest negacją koniunkcji) lub „zachodzi najwyżej jedno z dwojga”.
- 2.Przykładami działań idempotentnych mogą być działania sumy zbiorów i iloczynu zbiorów, a także działania koniunkcji logicznej i dysjunkcji logicznej oraz, w ogólności, działania kresu dolnego i górnego w kratach.
Synonyms
- dysjunkcja Sheffera 1
zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań.


