tautologia Pi: udowodnij tautologie p⇒(q⇒r)⇔(p∧q)⇒r ma ktos pomysl jak to udowodnic? tabelka raczej odpada bo za duzo przypadkow?

studia : Przypadków 8, wiec nie tak zle. Spróbuj znaleźć przykład pokazujacy , ze to falsz. A wiec lewa strona=1, prawa=0 lub na odwrot. Pozdrawiam

studia : (Lewa strona )⇔(prawa str)

iteRacj@: tu akurat fałszu się nie ma co szukać: (p⇒(q⇒r)) ⇒ ((p∧q)⇒r) prawo importacji ((p∧q)⇒r) ⇒ (p⇒(q⇒r)) prawo eksportacji