Docente: Mg.

David Pizarro
Huancayo, 19 de agosto 2013

EL LENGUAJE DE LA LGICA PROPOSICIONAL

La lgica trata sobre la correccin del pensamiento. Pero, la lgica no trata sobre le pensamiento como facultad sino como resultado de la funcin de pensar. Y para la lgica proposicional una proposicin es un enunciado que puede ser verdadero o falso. As: "Mariano Melgar naci en Arequipa, es una proposicin atmica. Arequipa y Lima son ciudades del Per, es una proposicin molecular.

14/09/2013

Lgica proposicional
Parte de la lgica que estudia la proposicin y la relacin entre ellas, as como los conectivos lgicos.

Tipos de proposiciones: 1. Proposiciones simples o atmicas:

Tienen un solo mensaje, carecen de conectivos y negacin. En esta fiesta hay 20 personas El Mantaro es un ro

14/09/2013

1.1. Proposiciones predicativas:

Atribuye un predicado a un sujeto. Mara es ingeniero La rosa es roja

1.2. Proposiciones relacionales:

Relacionan sujetos mediante vnculos. Lucia y Mara son vecinos Bush y Bin Ladem son contemporaneos

14/09/2013

2. Proposiciones compuestas o moleculares:

Tienen dos o ms mensajes unidos por conectivos y negacin. En esta fiesta hay 20 personas y poca comida Es falso que el Mantaro es un ro

2.1. Proposicin conjuntiva:

Unidas por la partcula y ----------- y -----------(sin embargo, adems, incluso, asimismo, etc.) Mario trabaja pero estudia Las montaas son altas y verdes, no obstante muy fras

14/09/2013

2.2. Proposicin disyuntiva:

Unidas por la partcula o 2.2.1. Disyuntiva dbil: ----------- o-----------Luca es mdico o madre El ftbol es deporte o entretenimiento 2.2.2. Disyuntiva fuerte: O ----------- o-----------O Luca es mdico o madre O el ftbol es deporte o es entretenimiento

2.3. Proposicin 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. Proposicin Bicondicional:

Indican consecuencia y necesidad (es suficiente y necesario, cuando y slo cuando, etc.) ----------- si y slo si -----------Ser profesional si y slo si finalizo mis estudios universitarios.

2.5. Proposicin Negativa:

No o sus expresiones equivalentes afectando a una o ms proposiciones. (es falso, no es verdad, es mentira). Mario no es mdico. No porque es profesional es inteligente. Es falso que haya llovido y estn bloqueadas las carreteras.

Identifica las proposiciones

Smbolos primitivos
Para construir el lenguaje formal de la lgica se utiliza los smbolos primitivos que son de tres tipos:

14/09/2013

10

Los conectores lgicos sirven para construir proposiciones moleculares.

14/09/2013

11

Smbolos usuales

14/09/2013

12

Metavariables
Las metavariables representan formulas construidas con variables proposicionales moleculares.

Signos de agrupacin
Se utilizan para establecer jerarquas en las formulas lgicas. (), [], {}, //.

14/09/2013

13

14/09/2013

14