Dowód w systemie Hilbertowskim

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
ODPOWIEDZ
Awatar użytkownika
baksio
Użytkownik
Użytkownik
Posty: 464
Rejestracja: 31 maja 2006, o 22:19
Płeć: Mężczyzna
Lokalizacja: Zamość/Kraków
Podziękował: 16 razy
Pomógł: 136 razy

Dowód w systemie Hilbertowskim

Post autor: baksio »

Witam, czy ktoś ma jakiś pomysł na przeprowadzenie tych dowodów w systemie hilbertowskim?
\(\displaystyle{ 1) \quad ( B A) (( B A) B)}\)
\(\displaystyle{ 2) \quad ( A B) ((A B) B)}\)
z góry dzięki za pomoc.
Na górę
ODPOWIEDZ

Wróć do „Logika”