Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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)
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
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.
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.
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
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
(
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
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
(consecuente) q
t )
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
p
V V F F
m
V F F V
q
V F V F
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
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.
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