Poprzednik

Poprzednik – w rachunku zdań pierwszy (w kolejności zapisu lub odczytywania) argument implikacji, w zapisie typu $p\to q$ oznaczany symbolem $p.$ 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.