implikacja 3
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
w logice: funktor zdaniowy, spójnik, któremu w języku naturalnym odpowiada schemat "Jeśli ..., to ...".
hyponymy
zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji.
relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B.
meronimia: część
implikacja 2
noun
holonimia: część
implikacja 2
noun
Polishhypernymy
konektyw 1
noun
w logice - funktor zdaniotwórczy od argumentów zdaniowych.
meronimia: część
antecedens 2
noun
pierwsza część zdania warunkowego, implikacji.
holonimia: część
antecedens 2
noun
pierwsza część zdania warunkowego, implikacji.
