Condizione necessaria, vero-funzionale

P → Q

• P solo se Q
  • Significato: Affinché P sia vero è necessario che Q sia vero
  • Tavola di verità: Se P è vero, anche Q deve essere vero. Se P è falso allora Q puo essere sia vero che falso.
  • "Posso prelevare solo se il bancomat funziona"
    • P = "Posso prelevare"
    • Q = "Il bancomat funziona"
    • P solo se Q