Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
SON PROPOSICIONES: 39 es un nmero par Iztapa queda en Escuintla 1/2 < 1/4 ( ( (
NO SON PROPOSICIONES:
F)
V) F)
:p :q :r
( F) ( V) ( F)
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
p
V F 21
p q
V
V
p q r
V
V
V
F
V
V
V
F
F
F 22
V
F
V
V
F
F V
V
F V
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.
F F
F
V
F
F
V
F 23
q
Simbologa: p q
p
V V F F
V F
q
V F V F La conjuncin slo es verdadera cuando las dos proposiciones son verdaderas.
F F
Simbologa: r s
V V
q
V F V F
V F
q Simbologa: p q
F V
q
V F V F
La disyuncin fuerte es verdadera solo si ambas proposiciones tienen diferentes valores de verdad
V F
La disyuncin fuerte es falsa solo si ambas proposiciones tienen idnticos valores de verdad
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
(consecuente) q
(consecuente) q
(antecedente) p
V F V V
q
V
V F
F
F V
F El condicional solo es falso cuando el antecedente es verdadero y el consecuente es falso.
p
V V F
q
V F V F
p
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 r
Simbologa: ( q r )
p
F
TABLA RESUMEN
Conector Valor de verdad V V F F V V Condicin
Si ambos tienen igual valor de verdad.
Si tienen valores diferentes de verdad.
Solucin
p
V
V
q
V
V
r
V
F
(pq)
V V V
V V V V V
( p r)
V F
V
V
F V
F
V
V
V
F
F V
V
F V
V F F
V F F
V
F F
V
F
V
V
F
V
F
V F
F F
F
F F V F
F
F F
F F
F F
F
V V
V V
V
F
F
V
F V
F F
F
F
V
F
F F
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.
1.
2.
3.
Cuando algunos valores de verdad son verdaderos y otros falsos el esquema es una CONTINGENCIA.
(q r) p
V V V F
Luego de conocer los valores de verdad de cada variable, se evala la frmula planteada
( r p)
V V V
(p r)
F F V