Forma Logica de Enunciados

Forma lgica de enunciados
Marisol Miguel Crdenas
Lenguaje natural y lenguaje formal

El lenguaje natural es aquel que utilizamos cotidianamente. Surge histricamente dentro de la sociedad y es aprendido sin que
exista necesariamente en el individuo un acto reflexivo.
El lenguaje formal es un lenguaje artificial, convencional, elegido de manera consciente y cuidadosa para expresarse precisa,
sistemtica, rigurosa y unvocamente, por lo comn dentro de
un cierto campo del saber y con determinados fines.
Los lenguajes formales de la lgica

Los lenguajes formales de la lgica son dos:
a.
b.
Nivel proposicional o de la Lgica de Enunciados.

Nivel cuantificacional o de la Lgica de Predicados.
PARA ESTE CURSO DE LGICA, EN EL NIVEL MEDIO SUPERIOR, SE ABORDAR NICAMENTE

EL NIVEL PROPOSICIONAL O DE ENUNCIADOS.
MATERIAL DE APOYO
LENGUAJE
FORMAL
DEL CLCULO DE
ENUNCIADOS
SMBOLOS
INICIALES
1.

2.

3.

Letras enunciativas.
P, Q, R,
Conectivos lgicos.
, &, , , .
Smbolos auxiliares.
(,), [,].
REGLAS DE FORMACIN
El lenguaje del la Lgica de Enunciados responde a la estructura de un

lenguaje formal.
Conceptos Bsicos

Enunciado (proposicin, sentencia, juicio, afirmacin) se define

como aquella expresin lingstica de la cual se puede decir si es
verdadera o falsa y no ambas a la vez.

Ejemplo:

El enunciado: Mi nombre es Eva

Es una proposicin que resulta falsa para todas las personas que
no respondan al nombre de Eva, pero verdadera para todas las
personas que se llamen as.
Enunciado atmico, es aqul enunciado nico, que en su expresin

no incluye ningn conectivo lgico, es decir, no une dos o ms
enunciados.

Ejemplos:
Hoy es mircoles.

Vivo en el Distrito Federal.

Pablo es matemtico.
MATERIAL DE APOYO
22
Enunciado molecular es aqul que consta de dos o ms enunciados.
Ejemplos:

Si todas las personas son perversas, entonces ninguna persona es de confiar.
Las conectivas lgicas son cinco:
Nombre
Smbolo
Notacin
Negacin
Conjuncin
&
P&Q
Disyuncin
PQ
Implicacin
PQ
Bicondicional
PQ
Conectivas lgicas:

La negacin:

Normalmente usamos la palabra no para expresar
una negacin, pero tambin hacemos uso de otro tipo
de expresiones:
l no es mi novio.

No es cierto que l sea mi novio.

No es el caso que l es mi novio.

En las expresiones anteriores lo que se est negando es el enunciado
l es mi novio.
La forma lgica del enunciado negado sera: P
donde P representa el enunciado: l es mi novio
por tanto P representa el enunciado: l no es mi novio
MATERIAL DE APOYO
Y lo interesante es que no cambia la intencin de la oracin

inicial, sea cual sea la forma de expresar la disyuncin, lo mismo
ocurre en cada una de las conectivas lgicas. Pero en lgica se
busca ms bien la precisin antes que la variedad de formas de
expresin. Negar una proposicin, en lgica equivale a decir que
un enunciado P es falso. La diversidad de formas de expresar una
negacin y en general una conectiva, se presenta para tener los
indicadores de la conectiva en el lenguaje natural.

La conjuncin:

Es simple hallar una conjuncin cuando hay dos o ms enunciados

unidos por una y; sin embargo hay distintas formas de expresar
la conjuncin de dos o ms enunciado.
Ejemplo:
Es inteligente y le gustan las bromas

El enunciado es la conjuncin de dos proposiciones:

P: Es inteligente.

Q: Le gustan las bromas.

La forma lgica del enunciado sera: P&Q

El enunciado podra expresarse de distintas formas:
Es inteligente pero le gustan las bromas.
Aunque es inteligente le gustan las bromas.
Es inteligente tambin le gustan las bromas.
Es inteligente adems le gustan las bromas.
Es inteligente, sin embargo le gustan las bromas.
MATERIAL DE APOYO
44
La disyuncin.

La letra o, en general nos refiere a una disyuncin, es la forma
tradicional de unir dos posibilidades.

Ejemplo:
Hoy es mircoles o jueves

Se trata de la unin de dos enunciados, a saber:

P: Hoy es mircoles.

Q: Hoy es jueves.

La forma lgica es: PQ

Otras formas de expresarlo son:
Hoy es mircoles o jueves.
O bien hoy es mircoles, o bien hoy es jueves.
Es el caso que hoy es mircoles o jueves
O es mircoles o es jueves.
Puede ser mircoles o jueves

El condicional, o implicacin material,

Se compone por un antecedente y un consecuente. El antecedente
es una condicin para que ocurra algo, es decir, el antecedente
implica al consecuente. En nuestro vocabulario lo podemos expresar de distintas formas.

La forma cannica de expresar un condicional es:

Si te estacionas aqu, entonces te multarn.

Sea:
P: Te estacionas aqu
Q: Te multarn
Cuya forma lgica se representa como PQ
Se lee: si P, entonces Q.
MATERIAL DE APOYO
55
Tambin podemos afirmar que la intencin del enunciado no

cambia en las siguientes afirmaciones:

Si te estacionas aqu, te multarn.
Te multarn, si te estacionas aqu.
Cuando te estacionas aqu, te multan.
Es suficiente que te estaciones aqu para que te multen.

El bicondicional, tambin llamado equivalencia material.

Algunas de las expresiones que usamos para enunciar un bicondicional son las siguientes:

Un cuerpo celeste es un planeta si y solo s brilla

con luz refleja.
Un cuerpo es un planeta siempre y cuando brille

con luz refleja.
Es suficiente y necesario que un cuerpo celeste brille con luz refleja

para que sea un planeta.

La forma lgica para representar el enunciado es: PQ

P: Un cuerpo celeste es un planeta

Q: Un cuerpo celeste brilla con luz refleja.
MATERIAL DE APOYO

Forma Logica de Enunciados

Cargado por

Copyright:

Formatos disponibles

Forma Logica de Enunciados

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Forma Logica de Enunciados

Cargado por

Copyright:

Formatos disponibles

Forma lgica de enunciados

Marisol Miguel Crdenas

Lenguaje natural y lenguaje formal

Los lenguajes formales de la lgica

Los lenguajes formales de la lgica son dos:

Nivel proposicional o de la Lgica de Enunciados.

PARA ESTE CURSO DE LGICA, EN EL NIVEL MEDIO SUPERIOR, SE ABORDAR NICAMENTE

El lenguaje del la Lgica de Enunciados responde a la estructura de un

Enunciado (proposicin, sentencia, juicio, afirmacin) se define

Enunciado atmico, es aqul enunciado nico, que en su expresin

Enunciado molecular es aqul que consta de dos o ms enunciados.

Las conectivas lgicas son cinco:

En las expresiones anteriores lo que se est negando es el enunciado

La forma lgica del enunciado negado sera: P

donde P representa el enunciado: l es mi novio

por tanto P representa el enunciado: l no es mi novio

Y lo interesante es que no cambia la intencin de la oracin

Es simple hallar una conjuncin cuando hay dos o ms enunciados

El enunciado podra expresarse de distintas formas:

Es inteligente pero le gustan las bromas.

Aunque es inteligente le gustan las bromas.

Es inteligente tambin le gustan las bromas.

Es inteligente adems le gustan las bromas.

Es inteligente, sin embargo le gustan las bromas.

Otras formas de expresarlo son:

Hoy es mircoles o jueves.

O bien hoy es mircoles, o bien hoy es jueves.

Es el caso que hoy es mircoles o jueves

Puede ser mircoles o jueves

La forma cannica de expresar un condicional es:

Tambin podemos afirmar que la intencin del enunciado no

Si te estacionas aqu, te multarn.

Te multarn, si te estacionas aqu.

Cuando te estacionas aqu, te multan.

Es suficiente que te estaciones aqu para que te multen.

Un cuerpo celeste es un planeta si y solo s brilla

Un cuerpo es un planeta siempre y cuando brille

Es suficiente y necesario que un cuerpo celeste brille con luz refleja

También podría gustarte