Teorema di deduzione

$$ P_1,...P_n\models Q\ se\ e\ solo\ se\ \models(P_1\wedge ...\wedge P_n)\rightarrow Q $$

• Un insieme 𝛤, eventualmente infinito, di enunciati è detto teoria.
• Il teorema di deduzione in forma generale si esprime come segue:

$$ \Gamma\ \cup\ \{\ P \}\ \models_T\ Q\ se\ e\ solo\ se\ \Gamma\ \models_T\ P\rightarrow\ Q \\ \Gamma\ \cup\ \{\ P \}\ \vdash_T\ Q\ se\ e\ solo\ se\ \Gamma\ \vdash_T\ P\rightarrow\ Q $$