Condizione neccesaria e sufficiente

P ↔︎ Q

• P se e solo se Q

  • Significato: (P se Q) e (P solo se Q) ovvero (Q→P)∧(P→Q)

  • Tavole di verità: Vero se P, Q sono entrambi veri o emtrambi falsi

  • Teorema:

    $$ P \Leftrightarrow_T Q\ se\ e\ solo\ se\ \models_T(P\leftrightarrow Q) \\ P \Leftrightarrow_CQ\ se\ e\ solo\ se\ \models_C(P \leftrightarrow Q) $$