Poprzednik
Poprzednik – w rachunku zdań pierwszy (w kolejności zapisu lub odczytywania) argument implikacji, w zapisie typu oznaczany symbolem Np. w zdaniu „Jeżeli pada deszcz, to na niebie są chmury” poprzednikiem jest zdanie „pada deszcz”. Drugi z argumentów implikacji nazywamy następnikiem.
Bibliografia
- Witold Marciszewski (red.), Mała encyklopedia logiki, Ossolineum 1988.
Kontrola autorytatywna (term):
- BNCF: 28514
Encyklopedie internetowe:
- Britannica: topic/antecedent
- SNL: antecedent