alternatywa


Polskojezyczna Wikipedia - wolna encyklopediaDownload this dictionary
Alternatywa
W logice matematycznej
Alternatywa lub suma logiczna – to w logice matematycznej:
  1. 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
  2. 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.
  3. Zdanie logiczne postaci , gdzie i są zdaniami.

W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg...


© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.