Dowód w systemie Hilbertowskim
: 15 gru 2007, o 19:08
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.
\(\displaystyle{ 1) \quad ( B A) (( B A) B)}\)
\(\displaystyle{ 2) \quad ( A B) ((A B) B)}\)
z góry dzięki za pomoc.