Vous êtes sur la page 1sur 1

Definición.

Una fórmula α es verdadera (falsa) bajo una interpretación M =< U, F > sii toda
(ninguna) s ∈ ΣU satisface α y escribimos:

M |= α

y cuando α no es verdadera bajo M escribimos:

M 6|= α

Pero en general M 6|= α 6⇒ α sea falsa bajo M .

Definición. α es satisfacible sii existe al menos una interpretación M =< U, F > y al menos
s ∈ ΣU tal que

M |=s α

Definición. α es lógicamente verdadera o universalmente válida sii α es verdadera en toda


interpretación posible.

|= α sii ∀M =< U, F > y ∀s ∈ ΣU M |=s α

Definición. α es lógicamente falsa o universalmente falsa sii α es falsa en toda interpretación


posible.

6|= α sii ∀M =< U, F > y ∀s ∈ ΣU M 6|=s α

Estas son las contradicciones lógicas y hay fórmulas que no son ni universalmente válidas ni
contradicciones.

(x1 )P 1 (x1 )

Definición. Se dice que B implica lógicamente a C sii en toda interpretación, toda sucesión que
satisface B también satisface C. Más generalmente se dice que C es consecuencia lógica de un
conjunto de fórmulas Γ sii en toda interpretación, toda sucesión que satisface a a cada γi ∈ Γ
también satisface C.

Definición. A depende de B1 , ...Bn sii B1 , ...Bn |= A

Definición. A es independiente de B1 , ...Bn sii B1 , ...Bn 6|= A

Definición. A es indecidible a partir de Γ = {B1 , ...Bn } sii

B1 , ...Bn 6|= A
y
B1 , ...Bn 6|= ¬A