Académique Documents
Professionnel Documents
Culture Documents
Por:
A:
Cartagena
5/03/2017
1. La importancia de la lógica está contenida en que es una ciencia formal cuyo
propósito es que los seres humanos distingan los pensamientos correctos de
los falsos, por ello debe analizar la estructura, enlaces y caracteres de tales
pensamientos fijando normas ideales que nos permitan acceder y alcanzar los
juicios correctos. La lógica proporciona la habilidad de la resolución de
problemas de una manera fácil y eficiente. Es importante porque nos auxilia en
nuestra vida a poner orden en los pensamientos, a expresar con claridad los
mismos y a realizar interpretaciones o deducciones correctas.
R/
a. p q (F)
b. p q (V)
c. q p (V)
6. Tautología.
p q r p q r p p q r p r q p qr p r q
V V V V V V V V
V V F V V V V V
V F V F V F F V
V F F F V F V V
F V V V F F V V
F V F V V V V V
F F V V F F F V
F F F V V V V V
7.
a)
p q q pq p q pq p q p q r
V V F V V V V V
V F V F V F F V
F V F V F F V V
F F V V V F F F
b)
p q r q p q ( p q ) r ( p q) r
V V V F V V F F
V V F F V F F V
V F V V V V V V
V F F V V F V V
F V V F V V F F
F V F F V F F V
F F V V F F F V
F F F V F F F V
c)
p q q r Pq pr p q p r q p r
V V F V V V V F F
V V F F V F V F F
V F V V F V V V V
V F V F F F F V V
F V F V F V V F F
F V F F F V V F F
F F V V V V V F F
F F V F V V V F F
d)
p q r p pq p q r p R
V V V F V F F F
V V F F V F F F
V F V F F V F V
V F F F F V F V
F V V V F V V V
F V F V F V F V
F F V V F V V V
F F F V F V F V
e)
p q p q pq p q p q p q ( p q) (p q) ( p q) (p q) R
V V F F V V V F V F F
V F F V V F V V F F F
F V V F V V F V V V F
F F V V F V V V F F F
8. Para cada una de las siguientes proposiciones analice el valor de verdad de las
mismas y escriba, en forma simbólica su negación. Asuma que las variables
toman valores en el conjunto de los números reales.
b. x,3 x 2 -4x+1(F)
Negación: x, 3x-2= -4x+1
c. x / 𝑥 2 +x+1= 0 (F)
Negación: x / 𝒙𝟐 + 𝒙 + 𝟏 ≠ 𝟎
d. x / 𝑥 2 +1>0 (F)
Negación: x / 𝑥 2 + 1 < 0
e. x , 𝒙𝟐 + 𝟑𝒙 + 𝟐 = 𝟎 (F)
Negación: x, 𝒙𝟐 + 𝟑𝒙 + 𝟐 ≠ 𝟎
f.
x, , y / x 2 y 2 ( x y) 2 (V)
Negación: x(y / x 2 y 2 ( x y) 2 )
g. x R / x 2 x 2 (V)
Negación: x R / x 2 x 2
9 5
h. x R / X (V)
8 4
9 5
Negación: x R / X
8 4
3 8
i. x R, x x (F)
2 5
3 8
Negación: x R, x x
2 5
9. Escriba las siguientes frases con notación lógica y escriba también sus
negaciones. Cuando use cuantificadores especifique los universos, utilice R si no
se especifica ningún universo:
1
a) Para toda x>0, existe n en N tal que n>x y x>
n
1
R/ x 0, n N / n x x
n
Negación: x
R/ m, n N , p N / m p p n
Negación:
u N / un n, n N
Negación: u N / un n, n N
d) para cada n ∈ N existe m ∈ N tal que m ≤n
d) n N , m N / m n
Negación: n N , m N / m n
n N , m N / 2 m n n 2 m1
Negación: n N , m N / 2 m n n 2 m1
10. El teorema de Pitágoras lo que establece es que el cuadrado de la hipotenusa,
es decir el lado de mayor longitud en el triángulo rectángulo, es igual a la suma de
los cuadrados de los catetos. La representación algebraica es la siguiente:
𝑎2 +𝑏 2 = 𝑐 2
Ahora igualamos las formas de calcular el área del cuadrado grande, luego
resolvemos el binomio y nos queda la demostración
(𝒃 + 𝒄)𝟐 = 𝒂𝟐 + 𝟐𝒃𝒄
𝒃𝟐 + 𝟐𝒃𝒄 + 𝒄𝟐 = 𝒂𝟐 + 𝟐𝒃𝒄
𝒃𝟐 + 𝒄𝟐 = 𝒂𝟐