Veni + Vidi + Vici = π m3
http://www.isimiip.agh.edu.pl/wiki/lib/exe/fetch.php/1/lato/mdil/egzaminy/2014/dyskretna_pierwszy_termin.jpg
1.Wykaż że prawo kontrapozycji jest tautologią
∀(p=>q) => ∀(~q=>~p) // dobrze zapisałem?
p q p => q
1 1 1
1 0 1
0 1 0
0 0 1
~p ~q ~q =>~ p
0 0 1
0 1 1
1 0 0
1 1 1
Czy to jest już wykazane?