UNIDAD V: LOGICA SIMBOLICA

OBJETIVO:
Conocer y utilizar el lenguaje simblico de la lgica proposicional. Aplicar las tablas de verdad para comprobar la verdad o falsedad de las proposiciones.

CONTENIDO:
1. El clculo proposicional 2. La lgica proposicional 3. Clasificacin de proposiciones las

abr-14

LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

El

clculo

proposicional:

Como lenguaje simblico formalizado, estudia las relaciones lgicas que se establecen entre las premisas y las conclusiones de un determinado argumento o razonamiento.
La lgica proposicional: se compone o integra por un conjunto de clculos, de smbolos lgicos, interrelacionados entre si para constituir argumentos o inferencias.
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

Clasificacin de las Proposiciones

Las proposiciones son pensamientos o enunciados declarativos que pueden ser verdaderos o falsos. Las proposiciones pueden ser: simples (atmicas) y compuestas (moleculares)
Las proposiciones simples o atmicas no se componen de ms proposiciones y carecen de trminos de enlace o conectivos, excepto la negacin. Ejemplo: La matemtica es fcil
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

Clasificacin de las Proposiciones Las proposiciones compuestas o moleculares, se componen de dos o mas proposiciones simples y, adems, como rasgo distintivo tienen trminos de enlace o conectivos lgicos. Ejemplo: La Tierra es un planeta si y solo si el Sol es una estrella
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

Trmino de Enlace: y, si y solo si, no es cierto que , no es

Conectivos Lgicos:
a) no es cierto que ------- Negacin b) y c) o d) si entonces e) si y solo si
abr-14

-------- Conjuncin -------- Disyuncin -------- Condicional -------- Bicondicional

LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

La Negacin
Se expresa con los siguientes trminos de enlace: no es cierto que, no es el caso que, no ocurre que, no sucede que, es falso que o simplemente no Si se niega a p siendo p verdadera, se obtiene una proposicin falsa Si se niega a p siendo p falsa, se obtiene una proposicin verdadera
abr-14 LGICA MATEMTICA PROF: CRISTELA FUENTES 6

Ejemplo:
1. Acajutla es un Salvador (V) puerto de El

2. No es cierto que Acajutla es un puerto de El salvador (F)

3. No es cierto que Acajutla no es un puerto de El Salvador (V)

abr-14

LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

La Conjuncin
Enlaza dos o mas enunciados. Se expresa con los siguientes trminos de enlace: y, pero, aunque
Si dos enunciados son verdaderos, unidos por esta conectiva, entonces el enunciado tendr que ser verdadero y que, cuando algunos enunciados sea falso, o bien, ambos falsos, el enunciado ser falso.
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

Ejemplo:
1. 2. El ratn es un roedor (V) y la hormiga es un insecto (V). El enunciado es verdadero Claudia Lars escribi Jcaras Tristes (F) y Alfredo Espino escribi El Nido (V). El enunciado es falso. La luna es un planeta (F) y el sol es un satlite (F). El enunciado es falso

3.

abr-14

LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

La disyuncin Es un trmino que enlaza y tiene como funcin una disyuntiva entre dos enunciados. Se expresa mediante el trmino: o

Si al menos uno de los enunciados simples es verdadero, la proposicin resultar verdadera; y en el caso de que ambos sean falsos la proposicin ser falsa.
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

10

Ejemplo: 1. O Miguel ngel Asturias y Vargas Llosa son novelistas (V) o son fsicos (F). La proposicin compuesta es verdadero O Claudia Lars es actriz (F) o Alfredo Espino es cantante (F). El enunciado es falso. El Salvador es un pas republicano (V) o es un pas democrtico (V). El enunciado es verdadero
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

2.

3.

abr-14

11

Tipos de Disyuncin:
La Exclusiva. Ejemplo: O Luis Miguel es cantante o pintor La Inclusiva. Ejemplo: Claribel Alegra es escritora o Claribel Alegra es baletista

abr-14

LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

12

La Condicional
Se le denomina implicacin. Se expresa de esta manera: si , si, entonces, siempre que Si el antecedente es verdadero y el consecuente falso, entonces ser falso todo el enunciado y en los dems casos ser verdadero.
abr-14 LGICA MATEMTICA PROF: CRISTELA FUENTES 13

Ejemplo: 1.
Si en El Salvador no hay fraude electoral, (V) entonces en El Salvador se tienen elecciones democrticas (V). La proposicin compuesta es verdadero Si El Salvador no tiene gobierno entonces en El Salvador carecen de libertad (F). El enunciado es verdadero. democrtico (F) los ciudadanos

2.

3.

Si el lago Izabal se encuentra en Guatemala (V) entonces Suchitln se localiza en Nicaragua (F). El enunciado es falso
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

abr-14

14

La Bicondicional.
Se expresa por: si y solo si, e indica una relacin doblemente condicionada entre dos enunciados. Si ambos enunciados son verdaderos o ambos falsos, el enunciado entero resultar verdadero. En todos los dems casos sern falsos.
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

15

Ejemplo:
1. El Amazonas es un volcn, (F) si y solo si el Nilo es de origen volcnico (F). Este enunciado es verdadero Si las hormigas son modelos de solidaridad (V) si y solo si viven en comunidad (V). El enunciado es verdadero. La Luna tiene luz propia (F) si y solo si el Sol es una estrella (V). El enunciado es falso
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

2.

3.

abr-14

16

EJERCICIOS

GRACIAS POR SU

ATENCIN
abr-14
LGICA PROPOSICIONAL PROF: CRISTELA FUENTES

17