• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Koniunkcyjny operator binarny

    Przeczytaj także...
    Formuła logiczna to określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in. w rachunku kwantyfikatorów oraz w rachunku zdań.Operator – termin, za pomocą którego zazwyczaj określa się wyrażenie wiążące zmienne, przy czym zakłada się, że pojęcie wiązania zmiennej zostało wcześniej zdefiniowane.

    Koniunkcyjny operator binarny – konstrukcja, która ułatwia rozumowania dotyczące składni wyrażeń logicznych. Jest to dowolne wyrażenie które jest spełnione dokładnie wtedy, gdy zarówno jak i są w pewnym ustalonym stanie. Zależnie od operatora może to oznaczać albo pozytywne, albo negatywne wystąpienie.

    Kilka przykładów koniunkcyjnych operatorów wraz ze spełniającymi całe wyrażenie wartościowaniami podwyrażeń znajduje się poniżej. Wyrażenie, którego głównym operatorem jest koniunkcyjny operator binarny (pojedynczą negację uważa się za część wyrażenia), oznacza się jako zaś jego podwyrażenia jako i

    Zobacz też[ | edytuj kod]

  • dysjunkcyjny operator binarny




  • Reklama

    Czas generowania strony: 0.008 sek.