∨ Intro

∨ Elim

• Si procede per casi

  • Cosa posso inferire nel caso P e cosa nel Q ?
  • Se in entrami i casi posso inferire C, allora C segue da P or Q