Zbadaj tzw. metodą skróconą, czy jest to tautologia. Pomoże ktoś??? Fiorella: ((¬p) => (¬q)) =>(q =>p)

kachamacha: czyli zero−jedynkowa?

Jack: tak, ale skróconą ciężko będzie tu zapisać klamerki... To jest prawo logiki więc powinno Ci wyjść

Fiorella: Metoda skrócona (wg mojego wykładowcy) to rodzaj "drzewka", w którym zakłada się, że formuła jest fałszywa, a my mamy sprawdzić czy tak jest faktycznie. Niestety nie kumam tego...

asia: ( p→q)→(~q→~p)