Trabajo:
Ejercicios proposiciones

EJERCICIOS
7. El programa es legible si está bien estructurado.
Si el programa es legible entonces está bien programado.
8. Escriba la reciproca de cada proposición en los ejercicios 1-7.
1. José aprobara el examen de matemáticas discretas si estudia mucho.
Si estudia mucho entonces José aprobara el examen de matemáticas.
2. Rosa podrá graduarse si tiene 160 créditos.
Si tiene 160 créditos entonces Rosa podrá graduarse.
3. Una condición necesaria para que Fernando compre una computadora es que tenga $2000.
Si tiene $2000 entonces es una condición necesaria para que Fernando compre una computadora.
4. Una condición suficiente para que Karina lleve el curso de algoritmos es que apruebe …ver más…

35. P=p∧q∨r, Q=p∨(q∧r) p | q | r | p∧q∨r | p∨(q∧r) | V | V | V | V | V | V | V | F | F | V | V | F | V | V | V | V | F | F | V | V | F | V | V | F | F | F | V | F | F | V | F | F | V | F | F | F | F | F | F | F |
P≢Q
No son logicamente equivalentes
40. P=p→q→r, Q=p→(q→r) p | q | r | p→q→r, | p→(q→r) | V | V | V | V | V | V | V | F | F | F | V | F | V | V | V | V | F | F | V | V | F | V | V | V | V | F | V | F | F | V | F | F | V | V | V | F | F | F | F | V |
P≢Q
No son logicamente equivalentes
41. P=s→p∧r∧p→r∨q∧s,Q=p∧t p | q | r | s | s→p∧r∧p→r∨q∧s | p | t | p∧t |
Al tener diferentes variables P como Q, se concluye que no son equivalentes.
No son logicamente equivalentes
43. Defina la tabla de verdad para imp2 como p | q | p imp2 q | V | V | V | V | F | F | F | V | V | F | F | F |

(a) Muestre que p imp2 q∧q imp2 p≢p↔q. p | q | p imp2 q∧q imp2 p | p↔q. | V | V | V | V | V | F | F | F | F | V | F | F | F | F | F | V |
No on logicamente equivalentes
(b) Muestre que (1.2.5) sigue siendo verdadera si modificamos imp2, de modo que si p es falsa y q es verdadera, entonces p imp2 q es falsa.
Seaan p:1>2, q:4<8
Entonces p es falsa y q es verdadera p imp2 q p | q | p imp2 q | F | V | V | p imp2 q es verdadera y no falsa como se pidió.

44. Verifique la