Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

ODKUD SE BEROU AXIOMY LOGIKY?

Szczegóły
Opis

Tytuł:: ODKUD SE BEROU AXIOMY LOGIKY?
Where do the axioms of logic come from?
Autorzy:: Jaroslav Peregrin
Tematy:: AXIOMS
LOGIC
NATURAL DEDUCTION
NEGATION
Język:: czeski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

ODKUD SE BEROU AXIOMY LOGIKY?