Você está na página 1de 3

Facultad de Ingeniería

Profesor Jorge Peñailillo Bacho


Lógica :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
Una expresión del lenguaje a la cual puede aplicarse con sentido, uno y sólo uno de los
calificativos “verdadera” o “Falsa” se denomina proposición.

Es decir una proposición es una expresión susceptible a ser verdadera o falsa,

. p : el perro tiene dos patas


. q : la tierra es cuadrada

Si una proposición es verdadera diremos que su valor de verdades V y si es falsa diremos


que su valor de verdad es F.

Se llama función proposicional o proposición abierta a una proposición abierta a una


proposición en que el sujeto esta dado en forma de símbolo y puede ser reemplazado por algunos
de los elementos de un conjunto fijado con anterioridad.

p (x) : x es un número natural x ∈ R

Cada vez que el símbolo o variable (x) sea reemplazado por un elemento del conjunto (en
este caso R) la función proposicional pasa a ser una proposición y tiene su valor de verdad.

Si x=2 “ 2 es un número natural Entonces es V

Si x= 0.5 “ 0.5 es un número natural” Entonces es F

Al conjunto al que pertenece la variable se le llama dominio o universo de la función


proposicional.

Las funciones proposicionales pueden tener más de una variable.

q(x,y) : x e y viajaron en un crucero el año 2007

Talas de Verdad.
Axioma de la negación p y p tienen valores de verdad contrarios.

La negación: Condicional
p p p q p ⇒ q
V F V V V
F V V F F
F V V
La disyunción
F F V
p q p ∨ q Bicondicional
V V V
V F V p q p ⇔ q
F V V V V V
F F F V F F
F V F
La conjunción
F F V
p q p ∧ q Disyunción excluyente
V V V
V F F p q p ∨ q
F V F V V F
F F F V F V
F V V
F F F
Facultad de Ingeniería
Profesor Jorge Peñailillo Bacho

; Escriba las proposiciones de los enunciados con simbología lógica y probar con una
tabla de verdad.

a) Si a*b = 0 entonces a= 0 ó b=0

b) El producto de dos números reales es mayor que cero si y sólo si ambos son
positivos o ambos negativos

; El condicional p ⇒ q se puede expresar en palabras:


¾ .
¾ .
¾ .
¾ .

; El bicondicional p ⇔ q se puede expresar en palabras


¾ .
¾ .
¾ .
¾ .
¾ .
¾ .

; Determinar cuáles de las siguientes expresiones son proposiciones y cuáles son funciones
proposicionales:

a) Los números mayores que 24 son impares

b) El número entero x es mayor que 17

c) Los múltiplos de 6 son infinitos

d) Los enteros x e y son factores de 36

; Demostrar que si p, q y r son proposiciones entonces:


[ p ⇒ q] ∧ [ q ⇒ r ] ⇒ [ p ⇒ r ]
a) Usar las tablas de verdad
b) Usar las propiedades.

; Sea el conjunto A = { x ∈ N / x < 5 } y B = { y ∈ N / y < 4 }


Sean las proposiciones:
p : { ( ∀ x ∈ A ) , ( ∃y ∈ B ) / x + y < 6 }
q : { (∃ x ∈ A ) , ( ∃ y ∈ B ) x * y = 15 }

a) Determinar el valor de verdad de cada proposición


b) Escribir la negación de p y q
Facultad de Ingeniería
Profesor Jorge Peñailillo Bacho
; Demuestre que las siguientes proposiciones son Tautologías:

Leyes de Morgan: ∼(p ∨ q) ⇔ ∼p∧ ∼q


∼ ( p ∧ q) ⇔ ∼p ∨ ∼q

p ⇒ q ⇔ ( ∼p ∨ q)

Leyes de identidad: p ∨ T ⇔ T
p ∧ T ⇔ p
p ∨ C ⇔ p
p ∧ C ⇔ C

Leyes de Idempotencia: p ∨ p ⇔ p
p ∧ p ⇔ p
Leyes de Asociatividad:
{ (p ∨ q ) ∨ r } ⇔ { p ∨ (q ∨ r ) }

{ (p ∧ q ) ∧ r } ⇔ { p ∧ (q ∧ r ) }

Leyes de Conmutatividad:
p ∨ q ⇔ q ∨ p
p ∧ q ⇔ q ∧ p

p ⇒ p ∨ q ; p ∧ q ⇒ p

∼ (∼p ) ⇔ (p)

Leyes de la Distributividad:
{ p ∨ (q ∧ r) } ⇔ { (p ∨ q) ∧ (p ∨ r ) }

{ p ∧ (q ∨ r) } ⇔ { (p ∧ q) ∨ (p ∧ r ) }

(p ⇒ q ) ⇔ ( ∼q ⇒ ∼p)

(p ⇔ q ) ⇔ ( ∼p ⇔ ∼q)

Você também pode gostar