Za pomocą metody zero-jedynkowej zbadaj czy schemat zdaniem jest tautologią. Aga: p => { p => [ p => ( p => p )]}

Aga1.: p (p⇒p) [p⇒( p⇒p)] {p⇒[p⇒(p⇒p)]} p⇒{p⇒[p⇒(p⇒p)]} 0 1 1 1 1 1 1 1 1 1