Principios De Logica

TALLER 2

PRINCIPIOS DE LÓGICA

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

La proposición molecular que utiliza el término de enlace “y” es una: CONJUNCION

La combinación de una más proposiciones atómicas con un término de enlace de proposiciones se denomina: PROPOSICION MOLECULAR

La proposición molecular que utiliza el término de enlace “si… entonces…” se denomina una: CONDICIONAL

En lógica, una proposición completa que no tiene términos de enlace se denomina: ATOMICO

La proposición molecular que utiliza el término de enlace “o” es una: DISYUNCION

La proposición situada antes del término de enlace en una proposición condicional se llama: ANTECEDENTE

La proposición molecular que utiliza el término de enlace “no” es una: NEGACION

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 : 4 es numero primo y 4 es divisor de 32

q ⇒∼p:Si 4 es divisor de 32 entonces 4 no es un numero primo

∼p ⇔ q : 4 no es un numero primo si y solo si 4 es divisor de 32

∼p ∨ q: 4 no es un numero primo o cuatro es divisor de 32

∼p ⇒∼q: Si 4 no es un numero primo entonces 4 no es un divisor de 32

(q ∧∼p) ∨∼q: 4 es numero primo y no es divisor de 32 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

F F

F F

V

(∼p ⇒∼r ) ∧ q

V V

V V

V

(p ∧∼r ) ⇔ q

F V

F V

F

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

V F V F

F V

V

V

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

Si él es Ingeniero Comercial e Informático, entonces es Empresario: p∧ q ⇒ r

Si no es Ingeniero Comercial y es Informático, entonces es Empresario: ∼p∧ q ⇒ r

Es Ingeniero Comercial sólo si es Economista

...