Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Solucion Taller Logica Proposicional Jackson Uribe
Solucion Taller Logica Proposicional Jackson Uribe
BÁSICAS
Versión: 1
GUÍA DE APRENDIZAJE
Fecha: 20/Marzo./2010
DATOS DE IDENTIFICACIÓN
1. Simbolizar cada proposición simple o atómica con la letra A y cada proposición compuesta o
molecular con la letra M. Escribir frente a cada proposición molecular el termino de enlace
(conectivo lógico) utilizado.
Clasificación A (atómica o
conectivo
PROPOSICIÓN simple) o M (molecular o
lógico
compuesta)
a Un circuito eléctrico puede construirse en serie o en paralelo A V
b Si los bovinos son posiblemente en segundo lugar la especie más
representada en el arte rupestre entonces en primer lugar están M
^
los équidos
c La llama y la vicuña pertenecen a la Familia Camelus M
d Las proposiciones moleculares tienen términos de enlace A
e El ingeniero no es un buen matemático A
f Protejo el recurso hídrico si y solo si hago un uso sostenible del agua M
↔
g Si 𝑥 es el número de unidades producidas o vendidas entonces la M
función de ingreso es 𝑥𝑝(𝑥)
1 Trabajo y estudio 5 ¬p
4. Teniendo en cuenta las tablas de verdad, determine el valor de verdad de cada enunciado.
(Debe mostrar el procedimiento en cada ejercicio)
b). (r → ¬q) ^ p
(V → ¬ F) ^ V
(¬ F) ^ V
(V →) ^ V
V
c). ¬(𝑝∨𝑞)
¬(V v F)
F
6. Construya las tablas de verdad y determine cuáles de las siguientes proposiciones son
tautologías contradicciones o contingencia.
[(p v q) → q] → (¬p v q)
7. Con una tabla de verdad, compruebe las siguientes equivalencias lógicas: El simbolo ≡ significa
que equivale o tienen el mismo valor de verdad. a) ¬(p V q) ≡ ¬p ^ ¬q
p q ¬ (p v q) ≡ ¬ p ʌ ¬ q
V V F V V V V F V F F V
V F F V V F V F V F V F
F V F F V V V V F F F V
F F V F F F V V F V V F