Poprzednik

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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

  • Witold Marciszewski (red.), Mała encyklopedia logiki, Ossolineum 1988.