Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Enunciado
Es toda expresión oral o
escrita.
La Universidad
Nacional De Al que madruga Dios lo
Educación ayuda
Ejemplos:
6
1. ENUNCIADO Y PROPOSICIÓN
Proposición
Es toda expresión oral o escrita a la que se le
pueda atribuir un valor verdadero o falso (valor de
verdad).
Ejemplos:
La recaudación
tributaria en el país A mediado del este año
aumentó 3,4% en el China devaluó el Yuan.
2014 7
1. ENUNCIADO Y PROPOSICIÓN
CLASES DE PROPOSICIONES
Las proposiciones se clasifican de acuerdo a la
presencia de los conectivos lógicos
AUSENCIA DE PRESENCIA DE
CONECTIVOS CONECTIVOS
LÓGICOS LÓGICOS
PROPOSICIONES PROPOSICIONES
SIMPLES O COMPUESTAS O
ATÓMICAS MOLECULARES
9
2. CONECTIVOS LÓGICOS
Son símbolos que sirven de nexos o
enlaces entre las proposiciones
simples, a excepción del negador. ↔
~ BICONDICIONA
NEGADOR ˄ → L
˅ Δ
CONJUNCIÓN CONDICIONAL
DISYUNCIÓN
Expresiones DISYUNCIÓN
equivalente DÉBIL
s FUERTE Expresiones
equivalentes
Expresiones Expresiones
equivalentes equivalentes
•no Expresiones
equivalentes Expresiones
•ni equivalente
•nunca s •Si y solo si
•jamás •Por ello •Es una
•y
•Tampoco •Por lo tanto condición
•pero
•No es cierto que •o •si ...entonces ... necesaria y
•Sin embargo
•Es falso que •Salvo que •O . . . o . . . •es una condición suficiente
•Tanto como
•Es mentira que •a menos que •o solamente suficiente para •Equivalente
•también
•Es inaceptable •o incluso •o únicamente •Es una condición •siempre y
que •Excepto que necesaria para cuando
•No es verdad que •En consecuencia 10
3. FORMALIZACIÓN
Formalizar consiste en transformar una expresión del lenguaje común
o escrito, al lenguaje matemático (simbólico), para ello se utilizarán
las proposiciones, los conectores lógicos y los signos de agrupación.
1° 2° 3°
Reconocer los Identificar las Agrupar las
conectores proposiciones proposiciones y
simples conectores de
ser el caso
a) La BVL fue fundada en el año 1200. p
d) El BCR y la BVL tienen sede en Lima. Por ello Lima es la capital del Perú (p ˄ q) → r
14
TABLAS DE VERDAD
Tablas de Verdad
Es un conjunto ordenado de valores de
verdad de las proposiciones
compuestas, que resultan de la
aplicación de reglas de los conectores
lógicos.
p q
Número de valores de verdad : 2n V V
n: número de variables V F
F V
Si tenemos dos variables p y q , F F
(n=2) entonces 22 = 4
EVALUANDO UN ESQUEMA LÓGICO
1.TAUTOLOGÍA
Se llama así al esquema lógico en el cual los valores de verdad de su
conectivo principal son todos verdaderos.
2. CONTRADICCIÓN
Cuando los valores de verdad de su conectivo principal son todos
falso.
3. CONTINGENCIA
Se llama así al esquema lógico donde su conectivo principal presenta al
menos una verdad (V) y una falsedad (F).
4. TABLAS DE VERDAD
NEGACIÓN ( ) CONJUNCIÓN ( ) DISYUNCIÓN FUERTE (Δ )
p p p q p q p q p Δ q
V F V V V V V F
F V V F F V F V
F V F F V V
F F F F F F
DISYUNCIÓN DÉBIL ( )
CONDICIONAL ( ) BICONDICIONAL ( )
p q p q p q pq p q pq
V V V V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V
Encuentre el valor de verdad de los siguientes
esquemas
¬ (pΛq) ¬p v ¬ q
¬ (p ˄ q) ¬ p v ¬ q
F V V V F V F F V
V V F F F V V V F
V F F V V F V F V
F
V F F V F V V F
P1: p q
P2: ~ q__
∼( p Λ q ) ≡ ∼ p v ∼ q
C: ~ p
Departamento de Ciencias
EQUIVALENCIAS LÓGICAS
A↔B A≡B
EJEMPLO
¬ (p ˄ q) ¬ p v ¬ q
F V V V F V F F V
V V F F F V V V F
V F F V V F V F V
F
V F F V F V V F
¬(p q) ≅ ¬p ¬q
Por tanto los enunciados son equivalentes
Nombre de Representación Ejemplo
la Ley Simbólica
Método de la Tabla de la
Verdad
FORMALIZACIÓN: [( p → q ) ᴧ ¬ q ] → ¬ p
3.1 MÉTODO DE LA TABLA DE VERDAD
pq
q
Resolución
p
[ (p → q) ˄ ¬ q ] → ¬ P
V V V F F V V F
V F F F V F V F
F V V F F V V V
F V F V V F V V
[( p → q ) ᴧ ¬q ] → ¬p
F F F V
V V
V F
F
Hay contradicción en los valores de p
[( p → q ) ᴧ¬p ] → ¬ q
F V F V
V V
V F
F
No hay contradicción en los valores de q