8. Zapisać za pomocą funktorów i kwantyfikatorów następujące twierdzenia: jula: Jeżeli zdanie p( 1) jest prawdziwe oraz ze zdania p(n) przy n 1 wynika zdanie p ( n + 1) , to zdanie p( n) jest prawdziwe dla wszystkich n naturalnych.