Metoda skrócona (wg mojego wykładowcy) to rodzaj "drzewka", w którym zakłada się Fiorella: Zbadaj posługując się tzw. metodą skróconą, czy następująca formuła jest tautologią: ((¬p) =>(¬q) =>(q =>p)

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...