4.
FUNCIÓN PROPOSICIONAL O ENUNCIADO ABIERTO
Es todo enunciado en el que intervienen una o más variables, que
admite la posibilidad de convertirse en una proposición lógica, cuando
cada variable asume un valor determinado.
Ejemplos de funciones proposicionales.
x+1<5
A es el doble de un número, aumentado en tres.
y=3x+5
G(x) = x2 + 1
5. CLASES DE PROPOSICIÓN
Existen dos tipos:
I. Proposición simple o atómica.
Es aquella que tiene un sujeto y un predicado.
Ejemplo:
p: 6 es dos veces mas que 2.
q: 4 es dos veces menos que 8.
II. Proposición compuesta o molecular.
Es la combinación de dos o más proposiciones simples, enlazadas por
medio de conectivos lógicos.
OBJETIVOS: Ejemplos:
Al finalizar el presente capítulo, el alumno estará en la capacidad de: 8 es menor o igual que el doble de 5.
Conocer y aplicar en forma correcta los principios lógicos.
Desarrollar la relación existente entre las proposiciones. 6. CONECTIVOS LÓGICOS (Operadores proposicionales)
Manejar eficientemente las proposiciones y conectivos lógicos en la Son símbolos que enlazan proposiciones simples, sin formar parte
solución de problemas. de ellas, sean las proposiciones “p” y “q”, luego:
SIMBOLO
1. CONCEPTO CONECTO OPERACIÓN
ESQUEMA SIGNIFICADO
Es una parte de la Lógica que estudia las proposiciones y la relación R LOGICA
entre ellas, mediante procedimientos lógicos a través del análisis LOGICO
sistematizado se dan el valor de verdad de esquemas Negación p No p
proposicionales. Conjunción p q pyq
Disyunción p q poq
2. ENUNCIADO
Es toda frase u oración utilizado en el lenguaje común. Disyunción p q opoq
exclusiva
3. PROPOSICIÓN O ENUNCIADO CERRADO Condicional p q Si p, entonces
Expresión que puede calificarse bien como verdadera (V) o bien q
como falsa (F) y sin ambigüedad. Bicondicional p q P, si sólo si q
En general, las proposiciones lógicas serán denotadas con letras
minúsculas: p, q, r, s, ...
6.1. NEGACIÓN: ()
EJEMPLOS DE PROPOSICIONES LÓGICAS
Es una proposición que cambia el valor de la proposición “p” y se lee: “
p: 7 + 2 = 8 .......................................................( )
Es falso que p”, “No es cierto que p”, “No p”.
q: Concepción es la capital turística del valle del Mantaro.....( )
EJEMPLOS DE EXPRESIONES QUE NO SON PROPOSICIONES LÓGICAS 6.2. CONJUNCIÓN: ( )
¡Buenos días! Las palabras “pero”, “también”, “sin embargo”, “además”, “tal como”,
a+z=x “aunque”, “no obstante”, “a la vez”, etc. Equivalen al conectivo “y”.
¿Cómo estas?
¡Cuidado! 6.3. DISYUNCIÓN: ( ) “o”
Quizás ingrese a la UNCP. Ejemplo:
17 es un número impar o primo
V V V F V V V
6.4. DISYUNTIVA EXCLUSIVA: ( ) V V F F V F F
Ejemplo: V F V F F V V
O bien 17 es un número entero o bien 17 es un número irracional. V F F F F F V
F V V V V F F
F V F V V F F
6.5. CONDICIONAL: ( ) “Si, entonces”
F F V V V F F
Las palabras: “porque”, “puesto que”, “cuando”, “si”, “cada vez”, etc. F F F V V F F
Equivalen al conectivo condicional.( )
La matriz principal tiene tres verdaderos y cinco falsos.
6.6. BICONDICIONAL ( ) “ Si y solo si”
Las palabras: “cuando y solo cuando”, “entonces y solamente La proposición: es una tautología
entonces”, etc. Equivalen al conectivo bicondicional. ( )
p q (p q
p q
7. TABLAS DE VERDAD )
Son interpretaciones semánticas de las posibilidades de verdad (V) o V V F F V F V F
falsedad (F). El valor de verdad de una proposición compuesta se V F F V F F V F
determina por medio de valores de verdad de sus componentes. F V V F V F V V
F F V V V V V V
n: cantidad de proposiciones. La matriz principal contiene todas verdaderas.
Para el caso de dos proposiciones, se tiene:
pq p q p q p p q p q La proposición: (p q) q q es una contradicción
q p
V V V F V V F p q (p q) (p q) q (p q) q q
V F V V F F F q
VF F V V V F V V V F V V F
FV F F F V V V V F V F F F
FF F V F F V F
F F V F F F
CIRCUITOS
La matriz principal tiene todas falsas.
* EN SERIE: p q
9. IMPLICACIÓN LÓGICA Y EQUIVALENCIA LÓGICA
* EN PARALELO: p q 9.1. IMPLICACIÓN.
Toda condicional p q que sea una tautología p q
Por ejemplo, tenemos:
Cuya tabla de verdad ya se ha dado.
9.2. EQUIVALENCIA
8. ESQUEMAS MOLECULARES
Utilizando los conectivos lógicos se pueden combinar cualquier número Toda bicondicional p q que sea una tautología p q
finito de proposiciones para obtener otras cuyos valores veritativos Por ejemplo: p (p q) p
pueden ser conocidos construyendo sus tablas de verdad en las que se p q p q p (p q) p (p q) p
deben indicar los valores de las proposiciones componentes.
Por ejemplo: V V V V V
V F V V V
La proposición: (p q) (r p) es una contingencia
F V V F V
p q r (p q (r p) (p q) (r p) F F F F V
p )
10. PROPOSICIONES LÓGICAMENTE EQUIVALENTES
Dos proposiciones m y n son equivalentes si sus tablas de verdad son
idénticas. Se denota F F F
Por ejemplo: (p q) y (q p) son equivalentes F F F
F V V
(p q) (q p
F V V
)
V F V F Al observar la tabla, encontramos que la cantidad de verdaderos como
F V F F falsos son iguales.
V F V V Por lo tanto: A = B
V V V V
LEYES LÓGICAS
11. LEYES LÓGICAS. 3. Simplificar la siguiente proposición:
Son equivalencias lógicas que nos permiten transformar y simplificar
esquemas moleculares y las presentamos a continuación:
1) p p V; p p F
2) involución(Doble negaciòn): (p) p
RESOLUCIÓN:
3) Idempotencia: p p p; p p p Analizando valores
4) De Morgan:
por lo tanto es falso
(p q) p q
con lo cual el antecedente es falso a pesar de que 3>0 sea verdadero.
(p q) p q Por lo tanto. Basta que el antecedente sea Falso para que toda la
5) Absorcion : condicional sea Verdadera.
p (p q) p ; p (p q) p
p (p q) p q ; p (p q) p q
6) Condicional :
(p q) p q q p
7) Bicondicional : p q (p q) (q p)
EJERCICIOS DE APLICACIÓN
SIMBOLIZACIÓN:
1. Sean p: 10 es un número par.
q: 10 es el producto de dos números enteros.
Simbolizar cada una de las siguientes proposiciones.
a) 10 es un número par o es un producto de dos enteros.
b) 10 es impar y es un producto de dos enteros.
c) 10 es un número par y un producto de dos enteros o es un número
impar y no un producto de dos números enteros.
RESOLUCIÓN:
a) p q
b) p q
c) (p q) ( p q)
TABLAS DE VERDAD
2. Al desarrollar la tabla de verdad de:
Luego del resultado de la matriz principal, compare:
COLUMNA A COLUMNA B
Número de “V” Número de “F”
RESOLUCIÓN:
