(log.)
(łac. implicatio - związanie, połączenie) w logice zdanie o schemacie "jeżeli ... to ..."; jest fałszywe tylko wtedy, gdy człon pierwszy jest prawdziwy, a drugi fałszywy.
NASTĘPNIK, ZDAŃ RACHUNEK, LOGIKA FORMALNA
- IMPLIKACJA, (inne)
- WARUNKOWE ZDANIE, implikacja.
- NASTĘPSTWO, SYNONIM: kolejność,...