Poprzednik

Z Wikipedii, wolnej encyklopedii

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[edytuj | edytuj kod]