Documente Academic
Documente Profesional
Documente Cultură
METALEGUAJE.
Un lenguaje es un conjunto de recursos expresivos que empleamos para hablar
de cierto mbito de la realidad.
Pero existe una estratificacin del lenguaje, ya que presenta distintos planos.
Hay expresiones que no hablan sobre la realidad, sino de algo que se ha dicho sobre
la realidad.
Expresiones como es verdadero o es falso se refieren a enunciados, no a
cosas. Es decir, se refieren a la correspondencia de los enunciados con los hechos.
Por lo tanto, son expresiones que pertenecen a un metalenguaje.
El metalenguaje es el lenguaje que empleamos para hablar del propio
lenguaje, denominado lenguaje-objeto.
El metalenguaje utiliza expresiones lingsticas: palabras para nombrar las
entidades que constituyen el lenguaje-objeto.
Existe la convencin de utilizar las comillas en aquellas palabras que son
nombres de s mismas, as como las expresiones del lenguaje formal.
Ejemplo de lenguaje: El libro est sobre la mesa.
Ejemplos de metalenguaje: Mesa tiene dos slabas.
(p q) q es un condicional vlido.
El libro est sobre la mesa es un enunciado
verdadero.
2.-
DESCRIBA
EL
LEGUAJE
DE
LA
LGICA
DE
necesaria de p.
Bicondicional:
p q ser verdadero cuando p y q sean ambos verdaderos, o
cuando p y q sean ambos falsos. p es condicin necesaria y
suficiente de q.
La conectiva principal es la que tiene ms amplio alcance, lo que se
indica con los smbolos de puntuacin.
3. Smbolos de puntuacin: ( ), [ ], { }. Sealan el alcance de las conectivas
para que no haya ambigedades sintcticas.
En el lenguaje de la lgica de enunciados tambin aparecen REGLAS DE
FORMACI DE FRMULAS. Son las reglas que delimitan con precisin
cuando una secuencia de smbolos constituye una frmula en lenguaje
proposicional. Son las siguientes:
Toda variable enunciativa es una frmula.
Si X es una frmula, X tambin lo es.
Si X e Y son frmulas, X Y, X V Y, X Y, y X
Y tambin lo son.
Slo son frmulas las secuencias que satisfacen alguna de las
clusulas 1-3.
Finalmente cabe sealar un rasgo caracterstico del lenguaje de la lgica de
enunciados, que es la FORMALIZACI DEL LEGUAJE ATURAL. Es el
proceso de traduccin del lenguaje natural al lenguaje lgico, por lo tanto, el
modo de hacer explcito cada uno de los elementos incluidos en un enunciado
compuesto, sustituyendo los elementos del lenguaje natural por sus variables,
conectivas y smbolos de puntuacin correspondientes.
RI
RE
X
YY
X
RI
X
X
RE
X
Y
XY
XY
X
Y
RI
X
Y
XY
X
Y
YX
RE
XY
X
XY
Y
RI
X
XY
X
YX
RE
XY
X
Z
Y
Z
Z
REGLAS DERIVADAS:
Son abreviaturas de deducciones en las que se usan reglas bsicas. Todo lo
que se puede construir usando reglas derivadas se puede construir tambin usando
slo reglas bsicas. En la siguiente tabla se muestran algunas de ellas:
ECQ
IA
X
X
Y
MT
XY
Y
X
E2
XY
Y
X
X
YY
X
Interdef. ,
XY
(XY)
Interdef. ,
XY
(XY)
Interdef. ,
XY
XY
Interdef. ,
XY
XY
Interdef. ,
XY
(XY)
Interdef. ,
XY
(XY)
4.-
EXPLICAR
LA
RELACI
ETRE
LAS
OCIOES
5.-
TRASFORMACI
REGLAS DE FORMACI DE FRMULAS:
Es el conjunto de reglas que establecen cules son las combinaciones
correctas posibles de los smbolos elementales.
Estas reglas delimitan con precisin cuando una secuencia de smbolos
constituye una frmula en lenguaje proposicional.
Toda variable enunciativa es una frmula.
Si X es una frmula, X tambin lo es.
Si X e Y son frmulas, X Y, X V Y, X Y, y X
Y tambin lo son.
Slo son frmulas las secuencias que satisfacen alguna de las
clusulas 1-3.
REGLAS DE TRASFORMACI:
Son las reglas que se aplican para transformar una combinacin bien
construida de smbolos en otra combinacin que resultar igualmente bien construida.
Ejemplos:
Interdef. ,
XY
(XY)
Interdef. ,
XY
(XY)
Interdef. ,
XY
XY
Interdef. ,
XY
XY
Interdef. ,
XY
(XY)
Interdef. ,
XY
(XY)
6.-
Modus Ponens:
[(p q) p] q
REGLAS DE IFERECIA:
Es el enunciado de una instruccin para realizar una inferencia vlida, un
dispositivo lgico que, a partir de unas premisas con una forma determinada, arrastra
una determinada conclusin.
Ejemplo de regla de inferencia:
7.-
AXIOMAS Y TEOREMAS.
Demostrar un enunciado como verdadero consiste en hacer ver que se sigue
vlidamente de otros enunciados verdaderos (deducir dicho enunciado a partir de
otros enunciados), en presentar ese enunciado como el resultado de una
transformacin vlida (conforme a las reglas) de otros enunciados o ya demostrados
(teoremas) o que no se demuestran (axiomas).
DEDUCCI AXIOMTICA:
(p V p) p
A2
q (p V q)
A3
(p V q) (q V p)
DEDUCCI ATURAL:
Es un mtodo de convalidacin de argumentos muy prximo al modo de
argumentacin en el lenguaje ordinario, en el que se muestra paso a paso que el
compromiso con una afirmacin (o varias) conlleva el compromiso con otras
afirmaciones que se siguen de ella; la aceptacin de alguna verdad nos obliga a
aceptar alguna otra verdad. Contamos con un conjunto de reglas bsicas (vase
REGLAS BSICAS Y REGLAS DERIVADAS) que nos permiten obtener nuevas
frmulas a partir de otras. El argumento ser vlido si logramos construir la
conclusin a partir de las premisas aplicando dichas reglas.
DEDUCCI AXIOMTICA Y DEDUCCI ATURAL:
La diferencia fundamental entre el modo axiomtico de deducir y el modo
natural es que en el modo axiomtico se parte de enunciados formalmente
verdaderos (tautolgicos) y a enunciados formalmente verdaderos se llega al cabo de
8.-
premisa
2. q
premisa
3. p
negacin de la conclusin
4.1. p (1)
4.2. q (1)
completa
cierra con 2
y abierta
El hecho de que haya una rama completa y abierta nos indica que el argumento
es invlido.
9.-
EXPLIQUE
E QU COSISTE EL
MTODO DEL
p: 0
q: 0