No relations on this side

alternatywa wykluczająca 1

noundomain: thinkingregister: specj.

Słowosieć [ver.5.0]

Polish

Definition

w logice - spójnik "XOR", któremu w języku naturalnym odpowiada schemat zdaniowy "albo ..., albo ...".

Synonyms

alternatywa rozłączna 1
w logice - spójnik "XOR", któremu w języku naturalnym odpowiada schemat zdaniowy "albo ..., albo ...".

hypernymy

noun

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

Project co-funded by European funds

FENG