Académique Documents
Professionnel Documents
Culture Documents
TRABAJO PRÁCTICO I
Conector Ejemplos de frases
Negación no p - es falso p - no es cierto p
p y q - p pero q - p sin embargo q - p no obstante q - p
Conjunción
a pesar de q
Disyunción o p o q o ambos - al menos p o q - como mínimo p o q
si p entonces q - p sólo si q - q si p - q cuando p - q es
Condicional necesario para p - para p es necesario q - p es suciente
para q - para q es suciente p - no p a menos que q
Doble implicación p es necesario y suciente para q - p si y sólo si q
a ) p ∧ ¬q
b ) ¬q ∨ p
c ) ¬(p ∧ q)
d ) (p ∧ ¬q) ∧ p
e ) (p ∧ q) → r
f ) ¬(p ∨ q) → (¬p ∨ ¬q)
g ) (p → q) ↔ (¬p ∨ q)
h ) ((p → q) ∧ (¬q)) → (¬q)
i ) ((p → q) ∧ (p → q)) → (p → q)
2. Usa tablas de verdad para decidir cuáles de las siguientes son equivalencias lógicas:
a) p ↔ p
b ) p ↔ (p ∧ q)
c ) (p ∧ q) → (q ∧ p)
d ) ¬(p ∨ (¬q))
e ) (p → q) ↔ (¬p ∨ q)
f ) (p → (q ∧ r)) ∨ (¬p)
g ) (p ↔ q) ∧ (p ∧ (¬q))
h ) [(p → (q ∨ r))] ↔ [(p → q) ∨ (p → r)]
i ) (p → q) ↔ (¬p → ¬p)
j ) [(p ∧ q) → r] ↔ [p → (q → r)]
k ) [p ∧ (q ∨ r)] ↔ [(p ∧ q) ∨ (p ∧ r)]
l ) [p ∨ (q ∧ r)] ↔ [(p ∨ q) ∧ r]
ISFD No : 109 Álgebra - 1o matemática
5. Usando los datos proporcionados en cada caso, obtener el valor de verdad pedido:
p↔r
−[p ∧ (−r)]
a ) (¬s → ¬q)∨(r → p)
b ) (p ∧ q ∧ r ∧ s) ∨ (p ↔ r)
b) Si ahorro podré comprar un coche o no, pero si no ahorro seguro que no podré
comprarlo.
9. Simplicar
11. Transformar la proposición: p → ¬(¬q → r) en otra equivalente que contenga sólo conec-
tivos ∧ y ¬