I connettivi logici

Le proposizioni sono affermazioni che possono essere o vere o false.
La logica proposizionale è costituita da:

  • simboli di proposizione: p, q, r, s, …, X, Y, …
  • connettivi logici: NOT, AND, OR (XOR, NOR, NAND, …)
  • parentesi: (, )
  • valore Falso (F, False, 0)
  • valore Vero (V, T, True, 1)

NOT, negazione

  • Vera se p è falsa
  • Falsa se p è vera

OR, disgiunzione

  • Vera se almeno una tra p e q è vera
  • Falsa se entrambe p e q sono false

AND, congiunzione

  • Vera se entrambe p e q sono vere
  • Falsa se almeno una tra p e q è falsa


Riepilogo

Gli ambienti di sviluppo utilizzano nomi e simboli diversi

Falso Vero Negazione Disgiunzione Congiunzione
Logica matematica
¬
BASIC False True Not Or And
C… ! || &&
Calc / Excel FALSO VERO NON() O() E()
Pascal FALSE TRUE Not Or And
PHP false true ! ||
or
&&
and
Python “False” “True” not or and
Small Basic “False” “True” Or And