RAZONAMIENTO MATEMTICO

LGICA PROPOSICIONAL
Es aquella que considera a la proposicin como base para la determinacin de la validez de un razonamiento.
1. PROPOSICIN: Es una expresin donde se afirma o se niega algo. Tal proposicin puede ser calificada sin ambigedades como verdadera (V) o FALSA (F). V o F tambin recibe el nombre de VALOR DE VERDAD.

CONECTORES LGICOS: Sirven para enlazar dos o ms proposiciones. Estos conectivos son y, o, no es cierto que, sientonces, si y solo si. 1.1 CLASIFICACIN: a) PROPOSICIONES SIMPLES: Son aquellas que no llevan conector lgico. Se les denomina Atmicas o Mondicas y pueden ser: PREDICATIVAS: Si al sujeto se le atribuye una caracterstica o rasgo.

proposiciones simples enlazadas por conectores lgicos.

Ejemplo:

Ejemplos:

Luis est en Panam y est estudiando. Tengo sueo de da entonces estoy cansado o me faltan vitaminas. OBSERVACIN: Al enlazar n proposiciones simples resultan 2n valores de verdad para cada proposicin al escribir todas las posibles combinaciones de V y F. 1.2 OPERACIONES LGICAS: a) NEGACIN: Dada una proposicin simple p, esta puede ser negada y convertirse en otra proposicin llamada NEGACIN de p, la cual se simboliza as: p. Se lee: No p o No es cierto que p TABLA DE VERDAD:

p: 17 es un nmero impar. p: No es cierto que 17 es un nmero impar. b) CONJUNCIN: Dos proposiciones simples p y q relacionadas por el conectivo lgico y conforman la proposicin compuesta llamada CONJUNCIN, la cual se simboliza as: p q Se lee: p y q TABLA DE VERDAD:

Ejemplos:

p: Lima es la capital del Per ( ) q: 15 + 7 = 19 ( ) OBSERVACIN: A una proposicin se le representa por letras minsculas como p, q, r, s, t, etc. Y se les llama VARIABLES PROPOSICIONALES. TABLAS DE VERDAD DE LAS PROPOSICIONES: Al calificar a una proposicin como verdadera (V) o falsa (F), estamos estableciendo sus valores de verdad, los cuales se disponen en tablas de verdad as:

Ejemplo:

p: Mariella estudia Derecho. q: 17 es un nmero impar. RELACIONAL ES: Si al sujeto se le compara con otro mediante trminos relacionales.

Ejemplo:

Lima es la capital del Per y Caracas es la capital de Venezuela. c) DISYUNCIN: Dos proposiciones simples p y q relacionadas por el conectivo lgico o conforman la proposicin compuesta llamada DISYUNCIN la

Ejemplo:

p: Chimbote est entre Trujillo y Lima. q: Ernesto y Carmen son hermanos. b) PROPOSICIONES COMPUESTAS: Es aquella donde aparecen dos o ms

p V F

p 1 0

LGICA PROPOSICIONAL

RAZONAMIENTO MATEMTICO
cual se simboliza as: p q Se lee: p q TABLA DE VERDAD: p V V F F q V F V F p q tres o mas variables proposicionales, evitando la ambigedad operativa. Los ESQUEMAS MOLECULARES estn conformados por proposiciones simples, conectivos lgicos y signos de agrupacin. Al evaluar una ESQUEMA MOLECULAR se confecciona su TABLA DE VERDAD. a) CLASES: TAUTOLOGA: Un esquema molecular es tautolgico cuando al ser evaluado, todos sus valores resultan ser verdaderos. contradictorio cuando al ser evaluados todos sus valores resultan ser falsos. Evaluar el siguiente esquema molecular: (p q) ( p q) p q (p q) ( p q)

Ejemplo:
entonces

Si Felipe naci en Per Felipe es sudamericano. e) BICONDICIONAL: Dos proposiciones simples p y q relacionadas por el conectivo lgico si y slo si conforman la proposicin compuesta llamada BICONDICIONAL, la cual se simboliza as: p q Se lee: p si y slo si q TABLA DE VERDAD: p V V F F q V F V F p q

Ejemplo:

Ejemplo:

Felipe ser ingeniero o ser abogado d) CONDICIONAL O IMPLICATIVA: Dos proposiciones simples p y q llamadas antecedente y consecuente relacionadas por el conectivo lgico Sientonces conforman la proposicin compuesta llamada CONDICIONAL o IMPLICATIVA que se simboliza as: p q Se lee: Si pentonces q TABLA DE VERDAD:

Ejemplo:

Evaluar el siguiente esquema molecular: [ (p p V r V F V F p V V El esquema molecular dado corresponde a una TAUTOLOGA. CONTRADICCIN: esquema molecular un es F F [ (p r) r) r] r] p p

El esquema molecular dado corresponde a una CONTRADICCIN. CONTINGENCIA: Cuando al ser evaluado sus valores resultan ser verdaderos y falsos.

Ejemplo:

Ejemplo:
< 10 + 2

V F F

Evaluar el siguiente esquema molecular: (p q) (p q) q V F V F El esquema molecular dado es una CONTINGENCIA. (p q) (p q)

9 < 10 si y slo si 9 + 2

1.3 ESQUEMAS MOLECULARES: SIGNOS DE AGRUPACIN: Los principales signos de agrupacin: Parntesis, corchetes, llaves son de mucha utilidad en lgica cuando se desea combinar

LGICA PROPOSICIONAL