Unidad I LOGICA SIMBOLICA (Para Blog)
Unidad I LOGICA SIMBOLICA (Para Blog)
Unidad I LOGICA SIMBOLICA (Para Blog)
Objetivos específicos:
INTRODUCCION.-
PROPOSICION.-
DEFINICIÓN.-
Ejemplo.-
3.- “x > y - 9”
Solución.- ¿?
NOTACIÓN.-
Respuesta.- ¿?
OPERACIONES PROPOSICIONALES.-
(p) = V si (p) = F
(p) = F si (p) = V
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Solución.- ¿?
Solución.- ¿?
p q p q
V V V
V F F
F V F
F F F
Ejemplo.-
Dada la proposición “Pedro es estudioso y María es no es casada”,
expresarla simbólicamente.
Solución.- ¿?
Ejemplo.-
Determine el valor de verdad de cada una de las siguientes
proposiciones compuestas.
a) “ log 100=2 y 102=100”
b) “-3-7=-10 y 3/2 es número irracional”
c) “todo número divido por cero es cero y cinco es cuadrado
perfecto”
Solución.- ¿?
LA DISYUNCION INCLUSIVA.-
La disyunción inclusiva de las proposiciones “p”, “q” es la
proposición obtenida enunciando “q” a continuación de “p”, unidas
ambas por la letra “o”, en el sentido inclusivo (la una, la otra o
ambas). Con esta operación se obtiene un resultado verdadero
cuando alguna de las proposiciones es verdadera.
NOTACION.- La disyunción inclusiva de la proposición “p”, “q”; se
simboliza de la siguiente manera: “pq”, y se lee “p o q, en el
sentido inclusivo”, es decir p o q o ambas.
p q pq
V V V
V F V
F V V
F F F
DISYUNCION EXCLUSIVA.-
La disyunción exclusiva de las proposiciones “p”, “q” es la
proposición obtenida enunciando “q” a continuación de “p”, unidas
ambas por la letra “o”, en el sentido exclusivo (la una, la otra pero no
ambas).
Con esta operación se obtiene un resultado verdadero cuando
ambas tienen valores de verdad diferentes.
p q p ⊻q
V V F
V F V
F V V
F F F
Ejemplo.-
Solución.- ¿?
LA CONDICIONAL.-
Autor: Elio Romero Cuéllar Página
7
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
NOTACION.-
La condicional de las proposiciones p, q se simboliza de la siguiente
manera: “pq”
La proposición “p”, se denomina antecedente o hipótesis
La proposición “q”, se denomina tesis o consecuente.
p q p q
V V V
V F F
F V V
F F V
Solución.- ¿?
LA BICONDICIONAL.-
La bicondicional de dos proposiciones p, q es la proposición de la
forma “p si y solo si q”
NOTACION.-
La bicondicional de las proposiciones p, q se simboliza de la
siguiente manera: ‘“pq” y se lee:
“p si y solo si q”
“p es condición suficiente y necesaria par q”
“q es condición necesaria y suficiente para p”
p q p q
V V V
V F F
F V F
F F V
FORMULAS PROPOSICIONALES.-
DEFINICIÓN.- Una formula proposicional es la combinación de
letras y conectivos lógicos de manera tal que al sustituir las letras
por proposiciones se obtiene una proposición.
(pq) (qp)
1.- ((pq)p)
3.- [q(pq](p)
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Si (p) = F
Si (q) = V
La bombilla eléctrica.-
Representa el valor de verdad de la formula proposicional asociada
al circuito, es verdadera cuando la bombilla se enciende y es falsa
cuando la bombilla se apaga. Se representa de la siguiente manera:
La fuente de energía.-
Da vida al circuito, y se representa por:
p q pq
p q V V V
V F F
(pq)
F V F
F F F
Solución.- ¿?
INFERENCIA LOGICA.-
s1
s2
s3
. premisas
.
.
s n
t conclusión
Con esto queremos significar que como las proposiciones s 1, s2, s3,
….., sn son verdaderas, por lo tanto t es verdadera. A las
proposiciones s1, s2, s3, ….., sn se las denomina premisas del
razonamiento y a “t” conclusión.
TABLAS DE INFERENCIA.-
Solución.- ¿?
“Si Javier gano la carrera, entonces José fue el segundo o Abel fue
el tercero”
“Si José fue el segundo, entonces Javier no gano la carrera”
“Si Marcos fue el segundo, entonces Abel no fue el tercero”
“Javier ganó la carrera”
Por tanto: “Marcos no fue el segundo”
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
METODO ABREVIADO.-
Para deducir la validez de un razonamiento por su definición es
necesario construir la tabla de verdad de la formula proposicional
(s1 s2 s3 ….. sn) t , este método nos libera de esta tarea.
El método consiste en lo siguiente:
Se asigna valor de verdad verdadero a cada una de las
premisas y valor de verdad falso a la conclusión.
Con estas condiciones, se determina el valor de verdad de
las proposiciones simples que componen el razonamiento.
Comenzando por aquella condición que asigna un valor de
verdad único a las proposiciones que la componen, y con
estos valores y las demás condiciones vamos determinando
los valores únicos de las proposiciones componentes del
razonamiento.
Solución.- ¿?
Ejemplo.-
1.- “x es el libertador de América”
2.- “x+3 = 9”
3.- “¿Que estudia x?”
4.- ”¡ Viva x! “
Ejemplo.-
1.- F(x): “x es el libertador de América”
2.- G(x): “x+3 = 9”
3.- H(x): “x estudia”
4.- P(y): “y-2 > 5”
Simbólicamente:
“a” es raíz de F(x) si y solo si [F(a)]= V
Solución.- ¿?
CUANTIFICADORES.-
Existen dos tipos de cuantificadores, el universal y el existencial.
CUANTIFICADOR UNIVERSAL.-
Un cuantificador universal en la variable x es la expresión “para todo
x”, cuya notación simbólica es: “x,”.
La expresión x, F(x) se llama proposición universal y se lee:
“para todo x, F(x)”
“para cada x, F(x)”
“para cualquier x, F(x)”
Solución.- ¿?
CUANTIFICADOR EXISTENCIAL.-
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Ejemplo.-
1.- F(x,y) = “x es libertador de y”
2.- G(y,z)= “y alumbra a z”
3.- H(x,y)= “xy 10”
F(x,y): “x destruye y”
G(y,z): “y + 8 = z”
Solución.- ¿?
Solución.- ¿?
Solución.- ¿?
Ejemplo.-
Demostrar que: 2 > 0, siendo que: F(x,y): “x>y” G(x,y):”x+1>y”
s1: “x, y, F(x, y) G(x, y)
s2: F(1,0)
s3: 2= 1+1
Solución.- ¿?
Ejemplo.-
Deducir la validez del siguiente razonamiento:
“Para todo x, si x es un numero par, entonces x+2 es numero par”
“Para cada x, si x es un numero par, entonces x no es un numero
impar”
“2 es numero par”
Por lo tanto: “ 2+2 no es un numero impar”
Solución.- ¿?
Ejemplo.-
Dar una demostración formal de cada uno de los siguientes
razonamientos:
a) “Todos los números positivos son mayores que cero”
“Cuatro es un numero positivo”
BIBLIOGRAFIA:
Autor: Elio Romero Cuéllar Página
24
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
1.- Armando Rojo : Algebra I : Editorial Ateneo
2.- Lipschutz Seymour : Matemáticas finitas : Editorial Mc. Graw Hill
3.- Lipschutz Seymour : Teoría de Conjuntos y temas afines : Editorial Mc. Graw Hill
4.- Suppes Patrik : Introducción a la lógica simbólica : Editorial
5.- Braulio Cáceres Ch. : Lógica y conjuntos : Editorial El País
6.- Bosch : Introducción al simbolismo lógico : Editorial Eudeba
7.- Sebastián Lazo : Matemática Moderna : Ed. Soipa Ltda.