Está en la página 1de 5
Universidad Diego Portales Escuela de Ingeniería Vespertina Ayudantía 1 Lógica I. Propiedades: - Axioma de

Universidad Diego Portales Escuela de Ingeniería Vespertina

Ayudantía 1

Lógica

I.

Propiedades:

-

Axioma de la negación:

Tabla 1 : Tabla de verdad de la negación

p

~p

V

F

F

V

Es importante recalcar que:

Asignatura: Algebra I Profesor: Marcel Saintard Ayudante: Javiera Paz

Si una proposición p es verdadera, entonces la proposición ~p es falsa. Y si p es falsa, entonces ~p es verdadera.

- Conectivos y proposiciones compuestas:

Operación

Nombre

Puede leerse

p ˅ q

Alternación

p ó q, o ambas

p

^ q

Conjunción

p y q

p

q

Condicional

p entonces q

p

q

Bicondicional

p sí y sólo si q

p

w q

Disy. excluyente

p ó q, pero no ambas

Universidad Diego Portales Escuela de Ingeniería Vespertina - Tablas de verdad: Asignatura: Algebra I Profesor:

Universidad Diego Portales Escuela de Ingeniería Vespertina

- Tablas de verdad:

Asignatura: Algebra I Profesor: Marcel Saintard Ayudante: Javiera Paz

p

q

~p

~q

p ˄ q

p ˅ q

p q

p q

p w q

V

V

F

F

V

V

V

V

F

V

F

F

V

F

V

F

F

V

F

V

V

F

F

V

V

F

V

F

F

V

V

F

F

V

V

F

a) Dos proposiciones son equivalentes (idénticas) si sus tablas de verdad son iguales. Se indica mediante el símbolo ()

b) Una proposición es una tautología (T) si su tabla de verdad resulta siempre V.

c) Una proposición es una contradicción (C) si su tabla de verdad resulta siempre F.

d) Una proposición es una contingencia (K) si su tabla de verdad resulta a veces F, a veces V.

Universidad Diego Portales Escuela de Ingeniería Vespertina Ejercicios propuestos: Asignatura: Algebra I Profesor: Marcel

Universidad Diego Portales Escuela de Ingeniería Vespertina

Ejercicios propuestos:

Asignatura: Algebra I Profesor: Marcel Saintard Ayudante: Javiera Paz

a) A través de una matriz de valores veritativos (tabla de verdad), determine si el esquema es tautología, contradicción o una contingencia. (suponga que: a=V; b=V; c=F)

[~a ( b c ) ] [ ( a b c) {

( b c ) a }]

Desarrollo:

[V

(V F)] [(V F)

V

[V (V) V]

~ (V [F) V]

F V

V

(V F) V)]

Por lo tanto es tautología.

b) Determine si la proposición es una tautología, una contradicción o una contingencia.

[(p ~q) p] (~p q)

*nota: para este caso al no saber los valores de verdad hacemos la tabla, como tenemos dos incógnitas calculamos el número de combinaciones.

2

=

2 2 = 4

Universidad Diego Portales Escuela de Ingeniería Vespertina Asignatura: Algebra I Profesor: Marcel Saintard Ayudante:

Universidad Diego Portales Escuela de Ingeniería Vespertina

Asignatura: Algebra I Profesor: Marcel Saintard Ayudante: Javiera Paz

 

A

X

Y

p

q

~p

~q

p ~q

A ˄ p

~p ˄ q

X ˅ Y

 

V

V

F

F

F

F

F

F

V

F

F

V

V

V

F

V

F

V

V

F

V

F

V

V

F

F

V

V

V

F

F

F

Por lo tanto lo que tenemos en este ejercicio es una CONTINGENCIA.

 

c)

{(p ˄ q ) ˅ [ p ˄ (~p ˅ q)]} ˅ ~(p ~q)

 

Calculamos nuevamente el número de combinaciones:

 

2 2 = 4

 

A

B

C

X

D

Y

p

q

~p

~q

p˄q

~p˅q

p˄B

A˅C

p~q

~D

X˅Y

V

V

F

F

V

V

V

V

F

V

V

V

F

F

V

F

F

F

F

V

F

F

F

V

V

F

F

V

F

F

V

F

F

F

F

V

V

F

V

F

F

V

F

F

Por lo tanto es una CONTINGENCIA.

Universidad Diego Portales Escuela de Ingeniería Vespertina Asignatura: Algebra I Profesor: Marcel Saintard Ayudante:

Universidad Diego Portales Escuela de Ingeniería Vespertina

Asignatura: Algebra I Profesor: Marcel Saintard Ayudante: Javiera Paz

d) Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [( qp )∧ ∼q ]( p∧∼q )

b) [(pq )⇒∼r ] v [qr ]

c) {~p( p v q ) }[ pq ]

a) 2 2 = 4

Falsa

Falsa

Verdadera

 

A

X

B

Y

p

q

~p

~q

qp

A ∧ ∼q

p∧∼q

~X

XB

V

V

F

F

V

F

F

V

V

V

F

F

V

V

V

V

F

V

F

V

V

F

F

F

F

V

V

F

F

V

V

V

V

F

F

F

Por los tanto para que la proposición sea falsa p y q deben ser falsos.