´

Docente: Mg. David Pizarro

Huancayo, 17 de marzo de 2014

 EL LENGUAJE DE LA LÓGICA
PROPOSICIONAL
La lógica trata sobre la corrección del pensamiento.

Pero, la lógica no trata sobre le pensamiento como facultad sino como

resultado de la función de pensar.

Y para la lógica proposicional una proposición es un enunciado que

puede ser verdadero o falso. Así:

"Mariano Melgar nació en Arequipa“, es una proposición atómica.

“Arequipa y Lima son ciudades del Perú”, es una proposición molecular.

20/03/2014 2
 Lógica proposicional
Parte de la lógica que estudia la proposición y la
relación entre ellas, así como los conectivos lógicos.

Tipos de proposiciones:

1. Proposiciones simples o atómicas:

Tienen un solo mensaje, carecen de conectivos y negación.

“En esta fiesta hay 20 personas”

“El Mantaro es un río”

20/03/2014 3
1.1. Proposiciones predicativas:
Atribuye un predicado a un sujeto.
“María es ingeniero”
“La rosa es roja”

1.2. Proposiciones relacionales:

Relacionan sujetos mediante vínculos.
“Lucia y María son vecinos”
“Bush y Bin Ladem son contemporáneos”

20/03/2014 4
2. Proposiciones compuestas o moleculares:
Tienen dos o más mensajes unidos por conectivos y negación.

“En esta fiesta hay 20 personas y poca comida”

“Es falso que el Mantaro es un río”

2.1. Proposición conjuntiva:

Unidas por la partícula “y” ----------- y ------------
(sin embargo, además, incluso, asimismo, etc.)
“Mario trabaja pero estudia”
“Las montañas son altas y verdes, no obstante muy frías”

20/03/2014 5
2.2. Proposición disyuntiva:
Unidas por la partícula “o”

2.2.1. Disyuntiva débil: ----------- o------------

“Lucía es médico o madre”
“El fútbol es deporte o entretenimiento”

2.2.2. Disyuntiva fuerte: O ----------- o------------

“O Lucía es médico o madre”

“O el fútbol es deporte o es entretenimiento”
2.3. Proposición condicional:
Indican consecuencia (dado que, cada vez que, en vista que,
debido a que, ergo, luego, por consiguiente, en consecuencia,
etc.)
Si ----------- entonces ------------

Si vienes pronto, iremos al cine.

Si llueve se mojan las carreteras

Triunfó ya que se esforzó.

Se mojaron los caminos porque llovió torrencialmente.

2.4. Proposición Bicondicional:

Indican consecuencia y necesidad (es suficiente y necesario,

cuando y sólo cuando, etc.)
----------- si y sólo si ------------

Seré profesional si y sólo si finalizo mis estudios universitarios.

2.5. Proposición Negativa:

“No” o sus expresiones equivalentes afectando a una o más
proposiciones. (es falso, no es verdad, es mentira).
Mario no es médico. No porque es profesional es inteligente. Es
falso que haya llovido y estén bloqueadas las carreteras.
 Símbolos primitivos
Para construir el lenguaje formal de la lógica se utiliza los
símbolos primitivos que son de tres tipos:

20/03/2014 9
Los conectores lógicos sirven para construir proposiciones moleculares.

20/03/2014 10
 Símbolos usuales

20/03/2014 11
 Metavariables
Las metavariables representan formulas construidas con
variables proposicionales moleculares.

Signos de agrupación
Se utilizan para establecer jerarquías en las formulas lógicas.
(), [], {}, //.

20/03/2014 12
20/03/2014 13