CAPÍTULO I LÓGICA Y CONJUNTOS. Temas del Capítulo I 1.1 Proposiciones Proposición Valor de...
-
Upload
dorita-lamora -
Category
Documents
-
view
10 -
download
3
Transcript of CAPÍTULO I LÓGICA Y CONJUNTOS. Temas del Capítulo I 1.1 Proposiciones Proposición Valor de...
CAPÍTULO I
LÓGICA Y CONJUNTOS
Temas del Capítulo I1.1 Proposiciones• Proposición• Valor de verdad• Tabla de verdad1.2 Operadores lógicos• Negación• Conjunción• Disyunción• Disyunción exclusiva• Condicional• Variaciones de la condicional: Recíproca, inversa,
contrarrecíproca• Condiciones necesarias y suficientes
CONJUNCIÓN
0 0 00 1 01 0 01 1 1
Leyes de los Operadores Fundamentales Conjunción y Disyunción
CONJUNCIÓN
DISYUNCIÓN
Conmutativa
AsociativaIdempoten
ciaIdentidadAbsorción
Leyes de los Operadores Negación, Condicional y Bicondicional
EQUIVALENCIAS NOMBRE DE LA LEYNEGACION
DOBLE NEGACION O INVOLUTIVA
DISTRIBUTIVAS
DE MORGAN
TERCER EXCLUIDO
CONTRADICCION
CONTRASPOSITIVA O CONTRARECIPROCA
EQUIVALENCIAS LÓGICAS
EQUIVALENCIAS NOMBRE DE LA LEY
EXPORTACIÓN
REDUCCIÓN AL ABSURDO
EQUIVALENCIA
Actividad N°01
•Demostrar aplicando las tablas de verdad las siguientes equivalencias
a) b) c) d) e)
Actividad N°02
•Del cuadro anterior, demostrar las siguientes equivalencias utilizando las propiedades elementales del Algebra proposicional.
a) b) c) d) e)
LEYES DE LAS IMPLICACIONES LÓGICASFORMA SIMBÓLICA TAUTOLÓGICA
TRIVIAL
ADICIÓN
SIMPLIFICACIÓN
MODUS PONENDO PONENSSUPOSICIÓN DEL ANTECEDENTE
MODUS TOLENDO TOLLENSNEGACIÓN DEL CONSECUENTE
SILOGISMO DISYUNTIVO
DILEMAS CONSTRUCTIVOS
TRANSITIVIDAD O SILOGISMO HIPOTÉTICO
Actividad N°03 Utilizando tablas de verdad determina el valor de las siguiente implicaciones lógicasa) b) c) d) e) f) g)
Actividad N°04 Utilizando las leyes del Algebra proposicional demuestre que todas representan una tautología.a) b) c) d) e) f) g)
Tarea N°01Usando las leyes de los operadores lógicos, simplificar las siguiente forma proposicional.1) 2) 3) 4) 5) 6) Expresar la siguiente proposición en otra equivalente donde se use los operadores de negación e implicación
•Usando las leyes del algebra proposicional, demuestre:
7) 8)
9) Construir una tabla de verdad para:
10) Utilizando el algebra proposicional, demostrar que la anterior forma proposicional es una tautología. En cada paso identifique la ley a utilizar
Aplicación lógica de los operadores en circuitos eléctricos sencillos
p q
0 0 0
0 1 0
1 0 0
1 1 1
•Disyunción