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.

BibliografiaEdytuj