TRABAJO DE LOGICA

TALLER 2

PRINCIPIOS DE LÓGICA

1. Completa las siguientes proposiciones eligiendo de entre las palabras escritas al final la que está definida por la proposición dada.

a. La proposición molecular que utiliza el término de enlace “y” es una CONJUCION_________

b. La combinación de una más proposiciones atómicas con un término de enlace de proposiciones se denomina_ PROPOSICIÓN MOLECULAR __________________

c. La proposición molecular que utiliza el término de enlace “si… entonces…” se denomina una____ CONDICIONAL __________

d. En lógica, una proposición completa que no tiene términos de enlace se denomina__ ATÓMICA ___________

e. La proposición molecular que utiliza el término de enlace “o” es una__ DISYUNCIÓN _______

f. La proposición situada antes del término de enlace en una proposición condicional se llama__ ANTECEDENTE ___________

g. La proposición molecular que utiliza el término de enlace “no” es una ____ Negación ____

h. La proposición situada después del término de enlace en una proposición condicional se llama _____ CONSECUENTE ________

Antecedente Conjunción

Atómica Consecuente

Proposición Molecular Disyunción

Condicional Negación

Considere los enunciados representados por las proposiciones p y q :

p: 4 es un número primo y q: 4 es divisor de 32

Exprese en español los enunciados representados por:

p ∧ q

p= 4 es un número primo

q= 4 es divisor de 32

• 4 es un número primo y 4 es divisor de 32

q ⇒ ∼p

p= 4 es un número primo

q= 4 es divisor de 32

• Si 4 es divisor de 32 4 no es un número primo

∼p ⇔ q

p= 4 es un número primo

q= 4 es divisor de 32

• 4 no es un numero primo si y solo si 4 es divisor de 32

∼p ∨ q

p= 4 es un número primo

q= 4 es divisor de 32

• 4 no es un numero primo o 4 es divisor de 32

∼p ⇒ ∼q

p= 4 es un número primo

q= 4 es divisor de 32

• 4 no es un numero primo si 4 no es divisor de 32

(q ∧ ∼p) ∨ ∼q

p= 4 es un número primo

q= 4 es divisor de 32

• 4 es divisor de 32 y 4 no es un número primo o 4 no es divisor de 32

Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de las siguientes proposiciones:

(p ∧ ∼q) ⇒ r:

p q ~q r (pɅ~q) (p ∧ ∼q) ⇒ r

F V F F F V

(∼p ⇒ ∼r) ∧ q

p ∼p q r ~r (∼p ⇒ ∼r) (∼p ⇒ ∼r) ∧ q

F F V F F V V

(p ∧ ∼r) ⇔ q

p q r ~r (p ∧ ∼r) (p ∧ ∼r) ⇔ q

F V F F F F

∼ (∼p ⇒ r) ∧ (∼r ∨ p)

p ∼p q r ~r ∼ (∼p ⇒ r) (∼r ∨ p) ∼ (∼p ⇒ r) ∧ (∼r ∨ p)

F F V F F V F F

Considere las proposiciones,

p: Él es Ingeniero Comercial

q: Él es Informático

r: Él es empresario

Escriba en forma simbólica los siguientes enunciados:

Él no es Ingeniero Comercial ni Informático, pero si Empresario

∼ p ∧ ∼ q ∧ r

Él no es Ingeniero Comercial y es Informático

∼ p∧ q

Ser Ingeniero Comercial o Empresario es lo mismo que ser Informático

P˅r⇒q

...