dysjunkcja 3

rzeczownikdomena: myślenierejestr: specj.

Słowosieć [ver.5.0]

Polski

Definicja

funktor dysjunkcji, którego symbolem jest ukośnik (/); spójnik NAND.

Przykłady

1.Zdanie utworzone za pomocą spójnika dysjunkcji jest fałszywe tylko wtedy, gdy prawdziwe są oba argumenty tego spójnika; w przeciwnym wypadku jest zawsze zdaniem prawdziwym.
2.Poza binegacją i tzw. funktorem Sheffera (dysjunkcją) żaden inny funktor dwuargumentowy nie wystarcza do zdefiniowania wszystkich funktorów jedno- i dwuargumentowych.

funktor Sheffera 1
funktor dysjunkcji, którego symbolem jest ukośnik (/); spójnik NAND.