(log.)
w logice łącznik dwuargumentowy "... jest jednym z ..."; łącznik definicyjny - funktor łączący definiendum i definiens (np. w definicji "Szczęście jest to sprzyjający los" łącznikiem definicyjnym jest funktor "jest to").
- PREDYKAT, (język.)
- RACHUNEK PREDYKATÓW, .
- RACHUNEK FUNKCYJNY, .