Bibliografia
On Proper Quantifiers II. Ch. IV. § 1. „Studia Logica”, T. X.
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.
Studenci matematyki Uniwersytetu Wrocŀawskiego i Wyższej Szkoŀy Pedagogicznej w Opolu
studentów matematyki oraz studentów filozofii, w szczególnośći specjalizujących się w logice.
Molekularne wyrażenia węższego jednoargumentowego rachunku predykatów zbudowane są ze zmiennej predykatowej i zmiennej nazwowej.
Additional information
Allatum est die 7 Novembris 1959
Rights and permissions
About this article
Cite this article
Borkowski, L. Dydaktyczne ujęcie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku predykatów. Stud Logica 11, 57–74 (1961). https://doi.org/10.1007/BF02121200
Issue Date:
DOI: https://doi.org/10.1007/BF02121200