UNIVERSIDAD DE GUAYAQUIL

DIRECCCIÓN DE ADMISIÓN Y NIVELACIÓN

FACULTAD DE FILOSOFIA Y FACULTAD DE JURISPRUDENCIA

ASIGNATURA: MATEMATICA FECHA: 27-07-2020

TEMA: LOGICA MATEMATICA PARALELO: VE-9
DOCENTE: ING. FERNANDO SALVATIERRA
UNIDAD 01
GUIA DE TRABAJO AUTÓNOMO 01
INDICACIONES GENERALES:

 Estimados estudiantes el trabajo autónomo tiene una duración de 10 horas.

 Cada alternativa de solución deberá presentar el proceso respectivo de justificación.

1.- Indique ¿cuáles de los siguientes enunciados son proposiciones y cuáles no y por qué?:
a) Esta fruta está verde.
b) ¿Estás contenta?
c) Siéntate y estate quieto
d) No es cierto que , no es incorrecto que 3 +7=10
e) El ratón trepó a la mesa.
f) Mañana se acabará el mundo.
g) Ramón Ramírez debe pagar sus deudas a menos que quiera ir a la cárcel.
h) ¿Es feo Juan?
i) La edad del universo es de unos 15 mil millones de años.
j) ¡Márchate!

2.- En las siguientes condicionales, identifique en orden de aparición; las proposiciones simples, el ANTECEDENTE y el CONSECUENTE
que permita traducirlas a lenguaje simbólico:

a) Si no se ama a primera vista, no se ama como es debido.

Ejemplo:
p: _________________________________________
q: _________________________________________

ANTECEDENTE: ______________________________________________________
CONSECUENTE: ______________________________________________________

ANTECEDENTE  CONSECUENTE
b) Para ser secretaria se necesita enseñar la rodilla.
c) El que roba un dólar, roba un millón.
d) Pienso, luego existo.
e) Quien siembre vientos, cosecha tempestades.
f) Para que un polígono sea rectángulo, es suficiente que sea cuadrado.
g) No somos débiles si hacemos uso apropiado de los medios que el Dios de la Naturaleza ha puesto bajo nuestro dominio.
h) Tendrás éxito solamente si aprecias la opinión de los demás.
i) Únicamente mediante el error auténtico y el trabajo espontáneo y creativo puede el ser humano superar su angustia y soledad.
3.- Considerando las proposiciones : (INDAGAR TEMA: CONDICIONES SUFICIENTES Y NECESARIAS EN EL TEXTO GUIA)

a : Yo terminé mi deber antes de comer.

b : Yo juego tenis por la tarde.
c : Hoy hace sol.
d : Hoy hay poca humedad.
Escribir en LENGUAJE SIMBÓLICO:

a) Es necesario que termine de hacer mi deber antes de comer y que haya poca humedad para que si hace sol yo juegue tenis por la tarde.
b) Para mí es suficiente que no haya sol y haya poca humedad para que no salga a jugar tenis por la tarde.

4.- Sean las proposiciones:

a : Te gustan las matemáticas

b : Te gusta este deber

TRADUZCA las siguientes proposiciones al lenguaje común:

a) a→b
 b) ¬a∨b
c) ¬b→¬a
d) ( a∨¬a ) →b

5.- Bajo la suposición de que los valores de verdad de las proposiciones atómicas a , b , c , d , e y f son respectivamente

1, 0, 1, 0, 1, 0; muestre el proceso de obtener el VALOR DE VERDAD de cada una de las proposiciones moleculares siguientes:

1.  [ ( a → b )∧( b → a ) ] → c

2.      c  d    e   d  f
 a   b  a  
      a  b

3.   a   b  a     c  d     e   d  f      a  f 

6.- Escriba la TABLA DE VERDAD , e identifique las siguientes formas proposicionales:

a) p→( ¬ p → p )
b) ( p∧q )∧( p →¬q )
c) (( p→q )∧(¬ p→q ))→q
 d) ( p∨q )→( p∨( ¬ p∧q ))

7.- Demuestre que una de las siguientes alternativas reemplaza a la figura “ ⟨⟩ ” y hace que la forma proposicional no sea tautológica:
{ {¬[ ¬ p ∨( ¬ p∧q ) ] → ¬q }∧q } ⇒ ⟨ ⟩

a) ¬( p∧q )
b) ¬ p∨q
c) q
d) p

e) ¬p

8.- HALLAR el operador “ ? ” que permite resolver y demostrar la forma proposicional tautológica:

[ ( p → q ) ∧( r → s ) ] ⇒ [ ( ¬q ? s ) → (¬q∨¬r ) ]
9.- Demuestre la TRADUCCIÓN CORRECTA o EQUIVALENTE de la siguiente afirmación:

“Si retiro el dinero del banco, compro un carro o una casa”

Considerando las proposiciones atómicas:

p: Retiro el dinero del banco

q: Compro un carro
r: Compro una casa

a) ( p →q ) ∨r b) ( p →q ) →r c) ¬ p∨( q∧r ) d) ( p∨q ) →r e) p→ ( q∧r )

10.- La TRADUCCIÓN al lenguaje formal de la proposición:
"Si me voy a casa, me voy de compras y si no me voy a casa, entonces voy al cine"
Siendo las proposiciones atómicas.
a : Me voy a casa b : Me voy de compras c : Voy al cine
es:

a) ( a∨b)∧( a∨c )

b) ( ¬a∨b )∧(¬a∨c )

c) (¬a∧b )∨(a∧c )
d) ( ¬b →¬a )∧(¬c → a )

e) ( b→ a )∧( c →¬a )

11.- La TRADUCCIÓN al lenguaje formal de la proposición: "Si se es estudioso o dedicado, entonces se aprueba el Preuniversitario ". Siendo
las proposiciones atómicas:

a : Se es estudioso.
 b : Se es dedicado.
c : Se aprueba el Preuniversitario.

es: a) ¬a→ (¬b∧¬c ) b) ( a→c )∧ ( b→c ) c) ( a→c )∧¬b d) a→ ( b∨c ) e) a∨( b→c )
12.- Dada la proposición: "Si hay huelgas y paro de transportistas, entonces las pérdidas serán cuantiosas "
Entonces demuestre que una de las siguientes alternativas es EQUIVALENTE a la proposición compuesta antes mencionada:

a) Si no hay pérdidas cuantiosas entonces no hay huelgas o no hay paro de transportistas.

b) Si no hay pérdidas cuantiosas entonces no hay huelgas y si hay paro de transportistas.
c) Si no hay pérdidas cuantiosas entonces hay huelgas y no hay paro de transportistas.
d) Si no hay huelgas ni paro de transportistas entonces no hay pérdidas cuantiosas.
e) Si no hay huelgas entonces no hay paro de transportistas ni pérdidas cuantiosas.

13.- Demuestre que la proposición: (a∨b)→(c∧¬a) es EQUIVALENTE a:

a) (a∨b)→¬c b) a→( b∧¬c ) c) ¬a∧(¬b∨c) d) (a∨b)→c e) ((a∧b )∨c )→¬a

14.- Demuestre que la forma proposicional: [ ( p∨q )∧ p ]∧ [( ¬ p→q ) ∧¬q ]∧[ ( p→q )∧( q→ p ) ] es EQUIVALENTE a:

a) q→p
b) ¬p
c) q
d) Elija esta opción si la forma proposicional es siempre falsa.
e) Elija esta opción si la forma proposicional es siempre verdadera.

15.- SI A y B SON DOS FORMAS PROPOSICIONALES TAUTOLÓGICAS, ENTONCES DEMUESTRE QUE ES VERDAD QUE:

a) A → B no es una forma proposicional tautológica.

b) B→ ¬ A no es una contradicción.
c) B→ A es una contingencia.
d) ¬ B ∨¬ A es una contradicción.

16.- Si la proposición [ ( p∧¬q ) → ( r ∨q ) ] es FALSA, entonces una de las siguientes proposiciones es FALSA, identifíquela demostrando:
a) [ ( p →q ) ∧( r∧¬q ) ]≡0
b) [ ( q∧r )∨( ¬ p∨q ) ]≡0
c) [ ( ¬r → p ) ∧(¬r →¬q ) ] ≡1

d) [ ( p∨r ) ∨( q→¬r ) ]≡1

e) [ ( r →q ) ∧( r → p ) ] ≡0

17.- Si la proposición [ ( p →q ) ∧r ] → [ r →q ] es FALSA, entonces demuestre cuál de las siguientes es VERDADERA:

a) El valor de verdad de p es verdadero.

b) El valor de verdad de q es verdadero.
c) El valor de verdad de p es falso.
d) El valor de verdad de r es falso.
e) El valor de verdad de p no puede ser definido.

18.- DADOS LOS SIGUIENTES ENUNCIADOS DETERMINE SI SON O NO PROPOSICIONES, LUEGO SELECCIONE LA RESPUESTA CORRECTA:

I. QUITO ES LA CAPITAL DEL ECUADOR.

II. LOS COLORES PRIMARIOS SON AMARILLO, AZUL Y ROJO.
III. ¡AUXILIO!
 IV. ¿DE QUÉ COLOR ES EL CABALLO BLANCO DE SIMÓN BOLÍVAR?
V. LAS MATEMÁTICAS SE UTILIZAN EN TODOS LOS CAMPOS DE LA CIENCIA.

a. I, II, III SON PROPOSICIONES – IV, V NO SON PROPOSICIONES.

b. I, II, V SON PROPOSICIONES – III, IV NO SON PROPOSICIONES.
c. II, IV, V SON PROPOSICIONES – I, II NO SON PROPOSICIONES.
d. I, II, IV, V SON PROPOSICIONES – III NO ES PROPOSICIÓN

19.- UNA DE LAS SIGUIENTES PROPOSICIONES ES FALSA, IDENTIFÍQUELA DEMOSTRANDOLA:

a) La conjunción entre dos proposiciones es verdadera sólo cuando ambas proposiciones son verdaderas.
b) La disyunción inclusiva entre dos proposiciones es falsa sólo cuando ambas proposiciones son falsas.
c) Si 4(8+1)=40 entonces 4(1+2)=11.
d) Si 2+3=5 entonces 2 – 3 = 5.
20.- UNA DE LAS SIGUIENTES PROPOSICIONES ES VERDADERA, IDENTIFÍQUELA DEMOSTRANDOLA:

a) Si la disyunción inclusiva entre dos proposiciones es verdadera, entonces ambas proposiciones son
verdaderas.
b) La bicondicional entre dos proposiciones es falsa si y solo si ambas proposiciones tienen el mismo valor de
verdad.
c) Si la conjunción de dos proposiciones es verdadera entonces la disyunción inclusiva entre ellas es falsa.
d) Si “a” es una proposición verdadera y “b” es una proposición falsa, entonces la proposición ¬ b→ a es
verdadera.