LOGICA MATEMATICA

Jorge TenezacaJorge
negacion
R: Tenezaca
Jorge Tenezaca
y, pero o
R:Jorge Tenezaca
R: R:
o solo, o solamente
Tablas de valores de verdad
TODOS LOS VALORES NEGACION CONJUNCION DISYUNCION DISYUNCION CONDICIONAL
EXCLUSIVA
a b ¬a Λ V Δ (V) →
0 0 1 0 0 0 1
0 1 1 0 1 1 1
1 0 0 0 1 1 0
1 1 0 1 1 0 1
Jorge Tenezaca
Jorge
R: Tenezaca R
y, pero o
Jorge Tenezaca R:
negacion
TODOS LOS VALORES NEGACION CONJUNCION DISYUNCION DISYUNCION
EXCLUSIVA
a b c ¬a aΛb aVb aΔb (aVb)
0 0 0 1 0 0 0
0 0 1 1 0 0 0
0 1 0 1 0 1 1
0 1 1 1 0 1 1
1 0 0 0 0 1 1
1 0 1 0 0 1 1
1 1 0 0 1 1 0
1 1 1 0 1 1 0
 Tenezaca
Jorge Tenezaca
R: Jorge Tenezaca
R: Jorge Tenezaca
R: R:
o solo, o solamente
si a entonces
a sib,solamente
solo si, si b, si
implica solo si

BICONDICIONAL

↔
1
0
0
ge Tenezaca
Jorge
1 Jorge
R: Tenezaca R: Tenezaca
Jorge
R: Tenezaca
Jorge
R: Tenezaca R:
pero o o solo, o solamente
si a entonces b,a solo
si solamente
si, si b, si
implica solo si

CONDICIONAL BICONDICIONAL

→ ↔
1 1
1 1
1 0
1 0
0 0
0 0
1 1
1 1
 Resolver las proposiciones según corresponda

a: Obtengo buenas notas aΛb

b: Gano una beca a→b

a: Trabajo mucho
b: Recibo un bajo sueldo aVb

a↔b

a: Tengo un libro de trigonometria aVb

b: Tengo un libro de Algebra
a→b

a: Estoy en Quito aVb

b: Estoy en Guayaquil aˬb

a: Juan gana el concurso

b: Juan dona 100
aΛb
aVb

a: Un triangulo es equilatero a↔b

b: Un triangulo es quiangulo
olver las proposiciones según corresponda

Obtengo buenas notas y gano una beca

Si obtengo buenas notas entonces gano una beca
Gano una beca si y solo si obtengo buenas notas

Trabajo mucho y recibo un buen sueldo

O trabajo mucho o recibo un bajo sueldo
Si recibo un buen sueldo entonces trabajo mucho
Trabajo mucho si y solo si recibo un bajo sueldo

Tengo un libro de trigonometria o de Algebra

Tengo un libro de trigonometria y de Algebra
Si tengo un libro de trigonometria entonces tengo uno de Algebra
Si tengo un libro de trigonometria entonces no tengo uno de Algebra

O estoy en Quito o estoy en Guayaquil

Estoy en Quito y no estoy en Guayaquil

Si Juan gana el concurso dona 100

Si Juan no gana el concurso no dona 100
Juan gana el concurso y dona 100
O Juan gana el concurso o dona 100

Un triangulo es equilatero si y solo si es quiangulo

Si un triangulo es aquilatero entonces es equiangulo
 Realizar la tabla de valores de verdad para los ejercicios propuesto

1 (p Λ ¬q) p q ¬q (p Λ ¬q)
1 1 0 0
1 0 1 1
0 1 0 0
0 0 1 0

2 (p ∨ ¬q) p q ¬q (p ∨ ¬q)
1 1 0 1
1 0 1 1
0 1 0 0
0 0 1 1

3 ¬(p ∨ p) p q (p ∨ p) ¬(p ∨ p)
1 1 1 0
1 0 1 0
0 1 1 0
0 0 0 1

4 (p → q) ∨ (q → p) p q (p → q) (q → p)
1 1 1 1
1 0 0 1
0 1 1 0
0 0 1 1

5 ((p → q) ∨ (q → p))↔¬q p q ¬q (p → q)
1 1 0 1
1 0 1 0
0 1 0 1
0 0 1 1

6 (p ∨ q) → (p Λ ¬q) p q ¬q (p ∨ q)
1 1 0 1
1 0 1 1
0 1 0 1
0 0 1 0

7 (a→b)↔(¬b→¬a) a b ¬a ¬b
1 1 0 0
1 0 0 1
 0 1 1 0
0 0 1 1

8 ¬(p ∧ (q → r)). p q r (q → r)
1 1 1 1
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 1

9 (p ↔ q) → r p q r (p ↔ q)
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 1
0 0 0 1

10 ((a→b)↔(b→¬c))V¬c a b c ¬c
1 1 1 0
1 1 0 1
1 0 1 0
1 0 0 1
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 1
a los ejercicios propuestos

(p → q) ∨ (q → p)
1
1
1
1

(q → p) (p → q) ∨ (q → p) ((p → q) ∨ (q → p))↔¬q
1 1 0
1 1 1
0 1 0
1 1 1

(p Λ ¬q) (p ∨ q) → (p Λ ¬q)
0 0
1 1
0 0
0 1

(a→b) (¬b→¬a) (a→b)↔(¬b→¬a)

1 1 1
0 0 1
 1 1 1
1 1 1

(p ∧ (q → r) ¬(p ∧ (q → r))
1 0
0 1
1 0
1 0
0 1
0 1
0 1
0 1

(p ↔ q) → r
1
0
1
1
1
1
1
0

(a→b) (b→¬c) (a→b)↔(b→¬c)

1 0 0
1 1 1
0 1 0
0 1 0
1 0 0
1 1 1
1 1 1
1 1 1
((a→b)↔(b→¬c))V¬c
0
1
0
1
0
1
1
1
 Determinar si el resultado es verdadero o falso

Resolver el siguiente ejercicio teniendo los valores de p=1; q=1; y r=0

1 ((¬p → q) ∨ (¬q → r)) → (¬r → (p ∨ q))
((¬1→1)∨ (¬1→0))→(¬0 → (1 ∨ 1))
((0→1)∨ (0→0))→(1 → (1 ∨ 1))
((1)∨(1))→(1 → ( 1))
(1∨1)→(1→1)
(1→1)
1==˃ VERDADERO
Resolver el siguiente ejercicio teniendo los valores de p=0; q=1; y r=0
2 ((¬p → q) ∨ (¬q → r)) → ((¬p ∨ ¬q) → r)
((¬0 → 1) ∨ (¬0 → 0)) → ((¬0 ∨ ¬1) → 0)
((1 → 1) ∨ (1 → 0)) → ((1 ∨ 0) → 0)
(1∨ 0) → (1 → 0)
(1 → 0)
0==˃ FALSO

Resolver el siguiente ejercicio teniendo los valores de a=0; b=0; y c=1

3 ¬(¬((a→b)↔(¬b→¬C)))
¬(¬((0→0)↔(¬0→¬1)))
¬(¬((0→0)↔(1→0)))
(0→0)↔(1→0)
1↔0
0==˃ FALSO