• Una fbf di un linguaggio (associta a un contesto) è definita ricorsivamente:
  • (base) proposizione atomica del linguaggio
  • (passo) ottenuta riempendo con fbf del linguaggio i posti dei costruttori :
    • ⊥
    • ¬_
    • _ ∧ _
    • _ ∨ _
    • _ → _
    • _ ↔︎ _
  • nient'altro è una fbf del linguaggio
• Semantica: il valore di verità di una fbf si ottiene:
  • Sostituendo le atomiche con i valori di verità
  • Calcolando il valore dell'espressione applicando le tavole di verità