dysjunkcja Sheffera 1

noundomain: thinkingregister: specj.

Słowosieć [ver.5.0]

Polish

Definition

zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań.

Examples

1.Na zajęciach z logiki omawialiśmy dzisiaj dysjunkcję Sheffera.
2.Dysjunkcja Sheffera wydała się studentom trochę trudniejsza od omówionych wcześniej funkcji zdaniowych.

dysjunkcja 2
zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań.