alternatywa
Alternatywa
W logice matematycznej
Alternatywa lub
suma logiczna – to w
logice matematycznej:
- Działanie dwuargumentowe określone w dowolnym zbiorze zdań bądź w zbiorze funkcji zdaniowych, które zdaniom (funkcjom zdaniowym) i przypisuje zdanie (funkcję zdaniową) prawdziwe wtedy i tylko wtedy gdy prawdziwe jest przynajmniej jedno ze zdań (funkcji) i
- Dwuargumentowy spójnik zdaniowy, oznaczany (łac. ) o znaczeniu odpowiadającemu wyżej zdefiniowanemu działaniu określonemu w zbiorze . Od poprzedniej definicji różni się tym, że jest definiowany na poziomie syntaktycznym, dzięki czemu unika się określania jego dziedziny.
- Zdanie logiczne postaci , gdzie i są zdaniami.
alternatywa
nf.
alternative, option
alternatywa
wy -wy)(dat sg -wie) f alternative