Seminario Logica01 PDF
Seminario Logica01 PDF
Seminario Logica01 PDF
a) 5x4 + 6 = 22
b) La temperatura ambiente es mayor de 20 grados.
c) ¡Marchen!
d ) Alan Garcia Pérez es el Zar antidrogas.
e) 4 es un número par si y solo si es divisible por 2.
f ) x3 − 1 + x < 8
g) El es el presidente del Argentina.
h) ¿Cuál es tu nombre?
3. Sea p : “ Hace frió ” y sea q : “ Está lloviendo ”. Dé una frase verbal sencilla que describa cada uno
de los siguientes enunciados:
a) ∼ p
b) p ∧ q
c) p ∨ q
d) q ∨ ∼ p
e) ∼ p ∧ ∼ q
f ) ∼ (∼ q)
4. Sea p : “ El es alto ” y sea q : “ El es buen mozo ”. Escriba cada uno de los siguientes enunciados en
forma simbólica usando p y q :
a) (p ∧ x) → (m ↔ y)
b) [p ∧ (∼ q △ r)] → (r ∨ q)
c) (r ↔ p) → (s ∧ q)
a) [(r →∼ q) ∧ q] ↔ [(p ∨ r) ∧ s]
b) [(p ∨ q)∨ ∼ q] → (p → q)
11. Si
p : Bolivia es un paı́s europeo
q : El presidente del congreso del Perú es Augusto Polo Campos.
Cuál es el valor de verdad de:
(p → q)∧ ∼ (∼ p ∧ q)
12. En cada caso analiza y completa escribiendo verdadero o falso :
13. Cuál es el valor de verdad de la siguiente proposición: “Si la tierra es plana porque Cristóbal Colón
lo descubrió en sus viajes, entonces puedo viajar alrededor de ella”
16. Construir una tabla de verdad para cada una de las siguientes proposiciones:
a) (∼ p ↔ q)∧ ∼ (∼ p ∨ q)
b) [(p ∧ q) ∨ r] → [(p ∨ q)∧ ∼ r]
c) [p ∧ (∼ q △ p)] ←→ (p ∨ q)
17. Si:
{
V ; si x es par
P (x) ≡
F ; si x es impar
Q (x) ≡ ∼ (∼ (∼ . . . (∼ P (x) . . .)))
| {z }
x veces
donde x ∈ Z + , halle el valor de verdad de la siguiente proposición:
18. Si “p” es verdadera, q y r dos proposiciones cualesquiera. Hallar el valor de verdad de:
a) ∼ q → (∼ p∨ ∼ q)
b) [(r∨ ∼ p) ∧ (q ∨ p)] → r
c) [q ←→ (p ∧ q)] ←→ (q∧ ∼ p)
19. Sabiendo que la proposición “r” es falsa, ¿en cuáles de los siguientes casos es suficiente dicha infor-
mación para determinar el valor de verdad de las siguientes proposiciones?
a) (r → q) ∆ ∼ r
b) (q ∨ s) → r
c) ∼ (p ∧ ∼ p) ∨ r
20. Si “p” es verdadera es posible determinar el valor de verdad de la siguiente proposición:
{[(p ∨ q) → (∼ p ∧ ∼ r)] ←→ (∼ q ∆ q)} ∨ (r ←→∼ r)
a) p ∧ [x ∨ (r ∨ s)]
b) (q → x) → (y ∧ s)
c) (s → x) → (y∧ ∼ r)
22. Si se sabe que p ∧ q es falso y q −→ t es falso. Determinar los valores de verdad de “p”, y “q”
23. Si: x ←→ y es falso. ; x −→ y es verdadero. Determinar los valores de verdad de “x”, e “y”
24. Determina mediante tablas de verdad, cuáles de las siguientes proposiciones son tautológicas, con-
tradictorias o contingentes.
a) (p∧ ∼ q) −→ (∼ p∨ ∼ q)
b) ∼ (p −→∼ q) ←→ (q −→∼ p)
c) [(p −→ q) ∨ (q −→ r)] ←→ (p ∧ r)]
d ) ∼ [(p −→ q) ←→ (∼ q −→∼ p)
e) (p∨ ∼ p) ↔ p
f ) [∼ p ∧ (q ∨ r)] ↔ [(p ∨ r) ∧ q]
Nota 1: Hay palabras como “pero”, “a la vez”, “sin embargo”, “además”, “aunque”, “no obstante”, que
se simbolizan con el conectivo “ ∧ ”
Nota 2:También son conectivos condicionales los términos “porque”, “puesto que”,“ya que”, “si”, “cuan-
do”,“cada vez que”, todas se caracterizan porque después de cada uno de estos conectivos está el antece-
dente.
M AF S