Professional Documents
Culture Documents
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
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 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
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
abr-14
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
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
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