L'implicazione materiale

• L'implicazione permette di costruire asserzioni condizionali

• P implica Q

  • P solo se Q
  • Se P allora Q

• Nella lettura vero-funzionale bisogna dimenticare ogni sfumatura causale del linguaggio naturale

  • P → Q significa "Ogniqualvolta P è vera, anche Q è vera".

  $$ P \rightarrow Q \Leftrightarrow_T \ (\neg P)\ \vee \ Q $$