Qu es lgica proposicional?

Lgica

Es una ciencia que estudia el lenguaje cientfico, su planteamiento, su organizacin, en

entidades jerrquicas y los mtodos como sus frmulas para analizar toda forma escrita.
Para comunicarse el ser humano utiliza lenguajes discursivos dichos lenguajes estn llenos
de partculas lgicas.

Las partculas lgicas: fundamentalmente son los cuantificadores las conectivas con ellas se
forman los discursos.

Lgica Proposicional

Es una rama de la lgica clsica que estudia las variables proposicionales o sentencias
lgicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel
absoluto de verdad. Algunos autores tambin la identifican con la lgica matemtica o la
lgica simbolice, ya que utiliza una serie de smbolos especiales que lo acercan al lenguaje
matemtico.

1. Enunciados o proposiciones

La lgica de enunciados o de proposiciones es el nivel ms bsico de anlisis lgico. Se

analizan las relaciones que se dan entre los enunciados o las proposiciones; es, pues, una
lgica interproposicional, no intraproposicional. En este nivel se simboliza de la misma
manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve",
"algunos das llueve" o "todos los das llueve".

Qu es uno enunciando o una proposicin? Una oracin declarativa que puede ser
verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente, pueden ser
verdaderos o falsos. No son enunciados las expresiones lingsticas interrogativas,
exclamativas o imperativas.

Los enunciados o proposiciones pueden ser atmicos o simples, los que no se pueden
descomponer en otros; y moleculares o complejos, los que s se pueden descomponer.
ENUNCIADO
Se llama as a cualquier frase u oracin.
Por ejemplo:

Auxilio, me ahogo!
(Exclamativa)

No conversen en clase
(Desiderativa)

Lima es la capital del Per

(Afirmativa)

Qu da es hoy?
(Interrogativa)
PROPOSICIN:
Son aquellos enunciados
afirmativos
del cual se sabe que tiene dos
valores de la verdad mutuamente excluyentes: verdadero o falso.
Las
proposiciones se representan por las letras minsculas: p, q, r, s,
t, .... pero
tambin se usa la notacin: p
1
,p
2
,p
3
,p
4
,p
5
,.....
As por ejemplo tenemos las siguientes proposiciones:

p: Alejandro Toledo es el presidente del Per

luego:
v(p) = V
se lee: el valor de la verdad de p es verdadero

q: Francisco Bolognesi muri en Angamos

luego:
v(q) = F
se lee: el valor de la verdad de q es falso

p
1
 : Caracas es la capital de Venezuela
luego:
v(p
1
)=V
1. LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a
las formas de verdaderas o falsas, siendo este el precedente fundamental para el
desarrollo del pensamiento humano. Lo importante en el presente estudio es el hecho
de que, a partir de los enunciados (frases u oraciones) y de acuerdo a su significado
es posible establecer una proposicin y a partir de un conjunto de estas podemos llegar
a una conclusin, siendo la ciencia encargada del estudio de estas, la lgica.

1.1. ENUNCIADO.- Denominamos as a toda frase u oracin.

Ejemplos:

1) Prohibido fumar.

2) x2+y29

3) Tribunal en Lima ver denuncias sobre Ancash

4) 4x 1= 5

5) Qu hora es?

6) Fallo contra megacomisin enfrenta al Poder Judicial y al Congreso

7) l es estudiante de la facultad de ciencias Administrativas y Contables

8) - 6,78 > 1,43

9) El desempleo baj levemente en febrero

10) Auxilio!

11) Detngase.

12) Ollanta Humala no es el presidente del Per.

13) Paolo guerrero es jugador de futbol

14) Dnde estabas?

15) Prohibido hacer ruido

16) Juez anula todos los informes que acusan a Garca

 1.2. PROPOSICIN.- Una proposicin es un enunciado que tiene la propiedad
de ser verdadera (V) o falsa (F), pero no ambas simultneamente.

Representacin simblica: p, q, r, s, t,..., etc.

Ejemplos:

VALOR DE
VERDAD
REPRESENTACIN PROPOSICIN

SIMBLICA

p: El pentgono tiene cuatro lados F

r: Mario Vargas Llosa escribi conversacin V

en la catedral

s: Ica es la regin ms afectada por el V

terremoto del 2 007

t: El parque de la identidad se encuentra F

ubicado en Chilca

p: -4+3=7 F

r: 3,56 > 0,099 V

El valor veritativo o valor de verdad de una proposicin se expresa

simblicamente. Si p es una proposicin, su valor de verdad se denota por V(p)

Se escribe: V(p) = V. Si valor de verdad de la proposicin p es verdadera

Se lee: el valor de verdad de la proposicin p es verdadera

Se escribe: V(p) = F. Si valor de verdad de la proposicin p es falsa

Se lee: el valor de verdad de la proposicin p es falsa

1.3. EXPRESIONES QUE NO SON PROPOSICIONES LGICAS

Son las expresiones que indican orden, advertencia, saludo,

exclamacin o interrogacin. Es decir, estas expresiones slo se quedan como
enunciados.

Ejemplos:

- Buenos das!. - Hola, Harry!

- Quin toc la puerta? - Qu edad tienes?

 - No faltes. - Prohibido fumar.

- As se llaman esas criaturas? - Viva la matemtica!

1.4. ENUNCIADOS ABIERTOS

Los enunciados que usan las palabras el, ella o las letras x, y, z, ...
, etc. No tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones.
Pero, si a estas palabras o letras se les asigna un determinado objeto o valor, llamado
constante, el resultado es una proposicin. A este tipo de enunciados se les denomina
enunciados abiertos.

Ejemplos:

- Ella es estudiante de contabilidad

- x3>7

- 5x + 3y = 2

Si en el primer ejemplo reemplazamos ella por Meredditt, se tiene, Meredditt es

estudiante de contabilidad, que es una proposicin donde su valor de verdad es V F
dependiendo de que si Meredditt sea o no estudiante de contabilidad.

Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin

es falsa y si x toma un valor mayor a 10 la proposicin es verdadera.

En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores

para que el valor de verdad de la ecuacin sea verdadera o falsa.

Clases de proposiciones

Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES: tambien denominadas proposiciones atmicas. Son aquellas

proposiciones que no se pueden dividir.

Ejemplos:

El cielo es azul.

PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que

estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Ejemplos:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.
PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS.

Una proposicin es compuesta si se puede partir en partes constitutivas que son a su vez
proposiciones simples y estn unidas por conectivos lgicos.

Comenzamos por hacer abstracciones de ciertas propiedades del lenguaje informal. En

particular hacemos abstraccin de las propiedades lgicas de las conectivas con las cuales
combinamos proposiciones simples para formar proposiciones compuestas. Tenemos que
hacer reglas precisas sobre el modo como estas conectivas combinan proposiciones y, para
construir un lgebra necesitamos tener una manera simblica de representar las
proposiciones simples y tambin las conectivas.

No debemos olvidar que dentro de la esfera de la lgica tradicional, calcada sobre un

gramaticismo un tanto confuso y discutible, el lenguaje corriente presenta ambigedades.
Por eso, en la lgica moderna se trata de simplificar y de purificar el lenguaje lgico de
todo elemento que se preste a confusiones y de que, por la tanto, de lugar a malentendidos.
Veamos por ejemplo, como ejemplo, lo siguiente:

Si quisiramos expresar en trminos de lgica simblica la siguiente expresin

Lenguaje natural: "Pancho es un artista de cine y Mara se enoj"

Se traducira en lenguaje simblico en "p ^ q", en donde:

p = Pancho es un artista de cine

q = Mara se enojo

^ = conjuncin conectiva "y"

Por lo pronto vamos a considerar las siguientes conectivas (conectores lgicos), signos de
importancia para el manejo de las traducciones al simbolismo lgico, as como para la
determinacin de verdad o falsedad de las proposiciones. El trmino "conectivas" se refiere
a ciertas conjunciones lgicas que gobiernan las distintas frmulas lgicas. Recordemos lo
siguiente, segn Moiss Chong: "llamamos proposiciones coligativas a aquellas
proposiciones compuestas, es decir, son proposiciones que consisten en la unin de dos o
ms proposiciones", Y as, como se vio en el ejemplo anterior, la unin de las
proposiciones componentes se efecta mediante las conjunciones. La caracterstica
fundamental de toda proposicin coligativa es que su verdad depende de la verdad de las
proposiciones coligadas. He aqu las conectivas ms corrientes:

a. La negacin
b. La conjuncin
c. La disyuncin inclusiva
d. La disyuncin exclusiva
e. La condicional
f. La bicondicional