Dydaktyczne ujęcie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku predykatów

On Proper Quantifiers II. Ch. IV. § 1. „Studia Logica”, T. X.Google Scholar

Po raz pierwszy dydaktyczne ujęcie tej metody przedstwiŀem w artykuleZastosowanie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku funkcyjnego przy nauczaniu logiki matematycznej. Zeszyty Naukowe Wyższej Szkoly Pedagogicznej w Opolu, Matematyka, Opole 1956. Ograniczam się tam jednak tylko do tzw. wyrażeń jednorodnych (w których wszystkie zmienne nazwowe są równoksztaŀtne), podczas gdy w obecnym artykule rozważam obszerniejszą klasę wyrażeń. Również w niektórych innych szczegóŀach ujęcie obecne różni się od ujęcia poprzedniego.Google Scholar

Studenci matematyki Uniwersytetu Wrocŀawskiego i Wyższej Szkoŀy Pedagogicznej w OpoluGoogle Scholar

studentów matematyki oraz studentów filozofii, w szczególnośći specjalizujących się w logice.Google Scholar

Molekularne wyrażenia węższego jednoargumentowego rachunku predykatów zbudowane są ze zmiennej predykatowej i zmiennej nazwowej.Google Scholar