logica
2014
L´
ogica cl´
asica
2014
1 / 71
´Indice
1
L´
ogica proposicional (LP)
Lenguaje
Sem´antica
Sintaxis
Validez y completitud
2
L´
ogica de predicados o cuantificacional (LC)
Lenguaje
Sem´antica
Sintaxis
Validez y completitud
(UdeA)
L´
ogica cl´
asica
2014
2 / 71
´Indice
1
L´
ogicaproposicional (LP)
Lenguaje
Sem´antica
Sintaxis
Validez y completitud
2
L´
ogica de predicados o cuantificacional (LC)
Lenguaje
Sem´antica
Sintaxis
Validez y completitud
(UdeA)
L´
ogica cl´
asica
2014
3 / 71
´Indice
1
L´
ogica proposicional (LP)
Lenguaje
Sem´antica
Sintaxis
Validez y completitud
2
L´
ogica de predicados o cuantificacional (LC)Lenguaje
Sem´antica
Sintaxis
Validez y completitud
(UdeA)
L´
ogica cl´
asica
2014
4 / 71
Lenguaje de LP
El lenguaje de LP es un lenguaje formal que permite representar
sentencias, con reglas de formaci´
on definidas de manera rigurosa.
(UdeA)
L´
ogica cl´
asica
2014
5 / 71
Lenguaje de LP
El lenguaje de LP es un lenguaje formal que permite representarsentencias, con reglas de formaci´
on definidas de manera rigurosa.
Los elementos del lenguaje de LP son:
Variables proposicionales (o letras sentenciales): s´ımbolos que
representan sentencias at´
omicas, ser´an usadas letras may´
usculas,
posiblemente con sub´ındice, A, A1 , A2 , . . . , B, B1 , B2 , . . ..
(UdeA)
L´
ogica cl´
asica
2014
5 / 71
Lenguaje de LP
El lenguaje deLP es un lenguaje formal que permite representar
sentencias, con reglas de formaci´
on definidas de manera rigurosa.
Los elementos del lenguaje de LP son:
Variables proposicionales (o letras sentenciales): s´ımbolos que
representan sentencias at´
omicas, ser´an usadas letras may´
usculas,
posiblemente con sub´ındice, A, A1 , A2 , . . . , B, B1 , B2 , . . ..
Conectivos l´ogicos: ¬ (negaci´on - ‘no’), ∨ (disyunci´on - ‘o’), ∧
(conjunci´on - ‘y’), → (implicaci´
on - ‘Si . . . entonces . . .’) y ↔
(equivalencia - ‘si y solo si’).
(UdeA)
L´
ogica cl´
asica
2014
5 / 71
Lenguaje de LP
El lenguaje de LP es un lenguaje formal que permite representar
sentencias, con reglas de formaci´
on definidas de manera rigurosa.
Los elementos del lenguaje de LP son:
Variablesproposicionales (o letras sentenciales): s´ımbolos que
representan sentencias at´
omicas, ser´an usadas letras may´
usculas,
posiblemente con sub´ındice, A, A1 , A2 , . . . , B, B1 , B2 , . . ..
Conectivos l´ogicos: ¬ (negaci´
on - ‘no’), ∨ (disyunci´on - ‘o’), ∧
(conjunci´on - ‘y’), → (implicaci´
on - ‘Si . . . entonces . . .’) y ↔
(equivalencia - ‘si y solo si’).
S´ımbolos auxiliares:par´entesis ‘(’ y ‘)’.
(UdeA)
L´
ogica cl´
asica
2014
5 / 71
Lenguaje de LP
Definici´on
Dado un conjunto de variables proposicionales
V = {A, A1 , A2 , . . . , B, B1 , B2 , . . . , C . . .}, el conjunto de f´ormulas de LP
(FLP) se define recursivamente as´ı:
(UdeA)
L´
ogica cl´
asica
2014
6 / 71
Lenguaje de LP
Definici´on
Dado un conjunto de variablesproposicionales
V = {A, A1 , A2 , . . . , B, B1 , B2 , . . . , C . . .}, el conjunto de f´ormulas de LP
(FLP) se define recursivamente as´ı:
Las variables proposicionales son FLP (es decir V ⊆ FLP), y son
llamadas f´ormulas at´omicas.
(UdeA)
L´
ogica cl´
asica
2014
6 / 71
Lenguaje de LP
Definici´on
Dado un conjunto de variables proposicionales
V = {A, A1 , A2 , . . . , B, B1, B2 , . . . , C . . .}, el conjunto de f´ormulas de LP
(FLP) se define recursivamente as´ı:
Las variables proposicionales son FLP (es decir V ⊆ FLP), y son
llamadas f´ormulas at´omicas.
Si α y β son FLP, entonces (¬α), (α ∨ β), (α ∧ β), (α → β) y
(α ↔ β) son FLP, y son llamadas f´
ormulas compuestas.
(UdeA)
L´
ogica cl´
asica
2014
6 / 71
Lenguaje de LP
Definici´on
Dado...
Regístrate para leer el documento completo.