famlia gamma de tautologias. Contem: gamma1, gamma2, ... , gamma15



\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2))
   |- (a2)or(b2)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3))
   |- (a3)or(b3)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4))
   |- (a4)or(b4)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5))
   |- (a5)or(b5)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6))
   |- (a6)or(b6)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6)),
   (a6)->((a7)or(b7)),(b6)->((a7)or(b7))
   |- (a7)or(b7)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6)),
   (a6)->((a7)or(b7)),(b6)->((a7)or(b7)),
   (a7)->((a8)or(b8)),(b7)->((a8)or(b8))
   |- (a8)or(b8)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6)),
   (a6)->((a7)or(b7)),(b6)->((a7)or(b7)),
   (a7)->((a8)or(b8)),(b7)->((a8)or(b8)),
   (a8)->((a9)or(b9)),(b8)->((a9)or(b9))
   |- (a9)or(b9)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6)),
   (a6)->((a7)or(b7)),(b6)->((a7)or(b7)),
   (a7)->((a8)or(b8)),(b7)->((a8)or(b8)),
   (a8)->((a9)or(b9)),(b8)->((a9)or(b9)),
   (a9)->((a10)or(b10)),(b9)->((a10)or(b10))
   |- (a10)or(b10)

\> a1,b1,
   (a1)->((a2)or(b2)),(b1)->((a2)or(b2)),
   (a2)->((a3)or(b3)),(b2)->((a3)or(b3)),
   (a3)->((a4)or(b4)),(b3)->((a4)or(b4)),
   (a4)->((a5)or(b5)),(b4)->((a5)or(b5)),
   (a5)->((a6)or(b6)),(b5)->((a6)or(b6)),
   (a6)->((a7)or(b7)),(b6)->((a7)or(b7)),
   (a7)->((a8)or(b8)),(b7)->((a8)or(b8)),
   (a8)->((a9)or(b9)),(b8)->((a9)or(b9)),
   (a9)->((a10)or(b10)),(b9)->((a10)or(b10)),
   (a10)->((a11)or(b11)),(b10)->((a11)or(b11))
   |- (a11)or(b11)
