Está en la página 1de 23

Prof. Lic.

Javier Velsquez Espinoza

LGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales. ENUNCIADO: Es toda frase u oracin que informa, expresa o dictamina alguna idea a travs de afirmaciones o negaciones, preguntas, expresiones de emocin o de saludo, rdenes, etc. ENUNCIADO ABIERTO: Es un enunciado en forma de

expresin matemtica que no es verdadero ni falso.


Ejemplos: x<9 a+b=1 x + 2 = 10 a2 + b 2 = c2

PROPOSICIN LGICA (enunciado cerrado) es un enunciado informativo que admite la posibilidad de ser Verdadero o Falso, pero no ambos a la vez. La veracidad o falsedad de una proposicin se denomina Valor de verdad de la proposicin

SON PROPOSICIONES: 39 es un nmero primo Huancayo queda en Junn 1/2 < 1/4 ( ( (

NO SON PROPOSICIONES:

F) V) F)

Resuelve este problema Puedes prestarme tu libro? Buenos das profesor

PROPOSICIN SIMPLE: Es aquella que contiene una sola afirmacin y se simboliza con las letras p, q, r, s, t, .. a las que llamaremos variables proposicionales Ejemplos: VALOR DE VERDAD 1. 15 es un nmero primo 2. Lima es la capital del Per 3. 32 = 9 :p :q :r ( F) ( V) ( F)

PROPOSICIONES COMPUESTAS: Son aquellas que estn formadas por dos o ms proposiciones simples o es la negacin de una proposicin simple. En toda proposicin compuesta las proposiciones simples estn ligadas mediante palabras conocidas como conectivos lgicos

Conectivos lgicos
Son palabras que permiten relacionar dos proposiciones o negar una proposicin simple. Cuando se les representan por smbolos se les llama operadores lgicos. Los siguientes conectivos son los ms recurrentes: 1. si y slo si 2. o . . . o 3. sientonces 4. o 5. y 6. no

PROPOSICIONES Y VALOR DE VERDAD

p
V F 21

p q
V V F F 22 V F V F

p q r
V V V V F F F F V V F F V V F F 23 V F V F V F V F

Las tablas de verdad son representaciones grficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposicin simple o compuesta.

En general para n proposiciones, se pueden presentar 2n posibilidades

Definicin de Algunos Enunciados Compuestos


1. LA CONJUNCIN.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo y , cuyo smbolo es y se llama conjuntor.

Ejemplo: Jorge viaj al Cusco y Luis viaj a Ica p p : Jorge viaj al Cusco Simbologa: p q q : Luis viaj a Ica
NOTA: Tambin equivalen al conectivo conjuncin las palabras pero, sin embargo, aunque, adems, no obstante, etc.

TABLA DE VALORES DE VERDAD DE LA CONJUNCIN p


V V F F

V F F F

q
V F V F La conjuncin slo es verdadera cuando las dos proposiciones son verdaderas.

2. LA DISYUNCIN DBIL O INCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo o , cuyo smbolo es y se llama disyuntor. Ejemplo: Eliana viajar al Cuzco o a Cajamarca r r : Eliana viajar al Cuzco Simbologa: r s s : Eliana viajar a Cajamarca s

TABLA DE VALORES DE VERDAD DE LA DISYUNCIN DBIL p


V V F F

V V V F

q
V F V F La disyuncin es falsa solo si ambas proposiciones son falsas

3. LA DISYUNCIN FUERTE O EXCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo O..o. , cuyo smbolo es ( y se llama disyuntor fuerte. Ejemplo: O Ricardo radica en Miraflores o en Barranco p p : Ricardo radica en Miraflores q : Ricardo radica en Barranco q

Simbologa: p ( q

TABLA DE VALORES DE VERDAD DE LA DISYUNCIN FUERTE p


V V F F

(
F V V F

q
V F V F

La disyuncin fuerte es verdadera solo si ambas proposiciones tienen diferentes valores de verdad

La disyuncin fuerte es falsa solo si ambas proposiciones tienen idnticos valores de verdad

4. EL CONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo Si.entonces., cuyo smbolo es y se llama implicador. Ejemplo: Si 12 es un nmero par entonces es divisible entre 2 p q

p : 12 es un nmero par . (antecedente) q : 12 es un nmero divisible entre 2 (consecuente) Simbologa: p q

Notas: 1. Existen otras formas de presentarse el condicional: p por consiguiente q; p luego q; p de manera q; etc. 2. Tambin son expresiones condicionales q ya que p; q puesto que p; q siempre que p; q porque p; etc. Ejemplo
La suma de las cifras de 426 es mltiplo de 3 por consiguiente es divisible entre 3

(antecedente) p

( o s

t )q

426 es divisible entre 3 porque la suma de sus cifras es mltiplo de 3

(consecuente) q

t )

La simbologa para ambos casos es:

TABLA DE VALORES DE VERDAD DEL CONDICIONAL p


V V F F

p
V F V V

q
V F V F El condicional solo es falso cuando el antecedente es verdadero y el consecuente es falso.

5. EL BICONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo ..si y slo si., cuyo smbolo es llamado doble implicador. Ejemplo: Sicilia es una isla si y slo si est rodeada de agua p p : Sicilia es una isla q : Sicilia est rodeada de agua q Simbologa: p q

TABLA DE VALORES DE VERDAD DEL BICONDICIONAL

p
V V F F

m
V F F V

q
V F V F

El bicondicional es verdadero solo si ambas proposiciones poseen idnticos valores de verdad

El bicondicional es falso solo si ambas proposiciones poseen diferentes valores de verdad

6. LA NEGACIN.- Es un tipo de proposicin compuesta en la que se afirma que algo no existe, que no es verdad, o que no es como alguien cree o afirma. Para negar una proposicin se le antecede el conectivo no, o equivalentes a l, cuyo smbolo es b y se llama negador. Ejemplo: Todo nmero elevado al cuadrado es positivo p Negacin: No todo nmero elevado al cuadrado es positivo Nota: Cuando se niega una proposicin compuesta, se niega al operador de mayor jerarqua en dicha proposicin. Ejemplo: No es cierto que Pablo fue al banco y retir el dinero q Simbologa: b( q r ) r

bp

TABLA DE VALORES DE VERDAD DE LA NEGACIN p


V F

bp
F V

TABLA RESUMEN
Conector m ( p Valor de verdad V V F F V V Condicin
Si ambos tienen igual valor de verdad.
Si tienen valores diferentes de verdad.

Si el antecedente es verdadero y el consecuente es falso

Si ambos son falsos Si ambos son verdaderos Si la proposicin es falsa.

EVALUACIN siguiente esquema molecular: ( Ejemplo: Evaluar elDE UNA FRMULA LGICA p q) b(p p br)
Solucin

p
V V V V F
F

q
V V F F V
V

r
V F V F V
F

(pq)
V V V V V V V F F V F F F F V
F F V

b ( p p b r)
V F V F F
F

V V V F F
F

V V V V F
F

F V F V V
V

F V F V F
V

F F

F F

V F

F F

F F F F

F F

F F

F F

V V

F V

La caracterstica tabular de una frmula lgica es la columna de valores de verdad debajo del operador de mayor jerarqua. Esta columna puede presentar los siguientes casos: Cuando todos los valores de verdad son verdaderos, el esquema es una TAUTOLOGA. Cuando todos los valores de verdad son falsos, el esquema es una CONTRADICCIN. Cuando algunos valores de verdad son verdaderos y otros falsos el esquema es una CONTINGENCIA.

1.

2.

3.

Ejemplo N2 Si se conoce que: (q br) p p es FALSA Determinar el valor de verdad de: (br bp) p (p br)
SOLUCIN Primero analizamos la condicin

(q b r) p p
V V V F

Luego de conocer los valores de verdad de cada variable, se evala la frmula planteada

( b r b p)
V V V

(p b r)
F F V

El valor de verdad de la frmula planteada es FALSO