Documente Academic
Documente Profesional
Documente Cultură
EXACTAS
Las operacions lógicas son conectores que permiten formar nuevas proposiciones a partir
de otras previamente dadas. Damos aquı́ su traducción a castellano:
∼ p: no p; no es cierto que p; lo contrario de p.
p ∧ q: p y q; valen a la vez p y q; p se cumple al mismo tiempo que q.
p ∨ q: p ó q; o bien es verdad p o bien es verdad q o bien son verdaderas p y q a la
vez.
p → q: p implica q; p sólo si q.
p ↔ q: p si, y sólo si q; p es lógicamente equivalente a q.
Cuando una afirmación tiene un valor de verdad que depende del valor de una variable
dada x, se le llama función proposicional. Ejemplos:
Esa sentencia es FALSA, porque tenemos como contraejemplo el caso del planeta
x = Marte, que es rojo.
2. (∃x)Q(x): Existe un planeta x tal que x es verde.
Esa sentencia es VERDADERA, porque tenemos al menos un ejemplo de planeta
x = Venus, que es verde. También Neptuno es verde, pero la sentencia sigue siendo
verdadera, porque no importa si la cantidad de elementos que cumplen la propiedad
es uno o muchos.
3. (∀x)S(x): para todo mueble x, x es igual a sı́ mismo.
Esta sentencia claramente es VERDADERA, porque para cualquier individuo x
que se considere, la afirmación de que x es igual a sı́ mismo, es verdad.
4. (∃x)R(x): existe un número natural x tal que x es par.
Esta sentencia es VERDADERA, porque tenemos el ejemplo de x = 2, que es
un número natural y es par.
Hay muchos otros números naturales pares, pero esto no afecta el sentido del
cuantificador ∃.
Hay ejemplos de números naturales x que no son pares. Por ejemplo x = 1. Pero
eso no interesa, porque basta conque haya ejemplos de valores de x en los que la
función proposicional R(x) es verdadera.
0.4. Letras griegas. Es muy común usar letras griegas en Matemática. Aquı́ las lis-
tamos:
Nombre Mayúscula Minúscula Alternativa
alfa A α
beta B β
gamma Γ γ
delta ∆ δ
épsilon E
zeta Z ζ
eta H η
theta Θ θ ϑ
iota I ι
kappa K κ
lambda Λ λ
mi M µ
ni N ν
xi Ξ ξ
ómicron O o
pi Π π $
rho P ρ %
sigma Σ σ ς
tau T τ
ı́psilon Υ υ
fi Φ φ ϕ
ji X χ
psi Ψ ψ
omega Ω ω
4 LENGUAJE MATEMÁTICO
Para la suma
Pde valores dados por variables subindizadas se puede usar el sı́mbolo de
sumatoria (sigma mayúscula), que es un operador usado para abreviar expresiones
de suma. En nuestro ejemplo serı́a:
6
X
xj = x1 + x2 + x3 + x4 + x5 + x6 = 63.
j=1
6
Y
xj = x1 · x2 · x3 · x4 · x5 · x6 = 32768.
j=1
0.7. EJERCICIOS.
1. Pasar de notación cientı́fica a forma directa:
7.0416 × 106 ; −1.99274 × 10−3 .
2. Pasar de forma directa a notación cientı́fica, dejando un dı́gito distinto de 0 antes del
punto decimal:
0.0000341; 08741.24.
3. Agregar paréntesis que revelen el orden correcto en el que se evalúan las siguientes
expresiones:
cos a + b =?
√
7 + 3 · a · b + 10000 − 8x4e+5 =?
5
=?.
tan π + 2π
4. Expresar con cuantificadores universal (∀) y existencial (∃), según corresponda, las
siguientes afirmaciones, y luego juzgue si son verdaderas o falsas:
(a) (Universo de discurso: conjunto de las estrellas).
Hay estrellas que son azules.
(b) (Universo de discurso: animales).
Todo animal de la especie de los caninos, es capaz de morder.
(c) (Universo de discurso: números enteros).
Todo número entero que es múltiplo de 3 es par.
Existe un número entero múltiplo de 3 que es par.
5. Escriba con fórmulas las siguientes alocuciones:
Si al ángulo alfa le sumamos dos veces pi, obtenemos valores iguales de los cosenos
respectivos.
6 LENGUAJE MATEMÁTICO