Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Contenido
[ocultar]
• 1 Definición y algoritmo fundamental
• 2 Definiciones en el cálculo lógico
○ 2.1 Negación
○ 2.2 Conjunción
○ 2.3 Disyunción
○ 2.4 Implicación o Condicional
○ 2.5 Bicondicional
• 3 Tablas de verdad
○ 3.1 Verdad Indeterminada o Contingencia
○ 3.2 Contradicción
○ 3.3 Tautologías
• 4 Tablas de verdad, proposiciones lógicas y argumentos deductivos
• 5 Aplicaciones
○ 5.1 Cálculo lógico
○ 5.2 Lógica de circuitos
○ 5.3 Desarrollo del algoritmo fundamental en lógica de circuitos
5.3.1 Caso 1
5.3.2 Caso 2
5.3.3 Caso 3
5.3.4 Caso 4
5.3.5 Caso 5
5.3.6 Caso 6
5.3.7 Caso 7
5.3.8 Caso 8
5.3.9 Caso 9
5.3.10 Caso 10
5.3.11 Caso 11
5.3.12 Caso 12
5.3.13 Caso 13
5.3.14 Caso 14
5.3.15 Caso 15
5.3.16 Caso 16
• 6 Véase también
• 7 Notas y referencias
• 8 Enlaces externos
Considérese además a "·" como una operación o función lógica que realiza una función de
verdad al tomar los valores de verdad de A y de B, y devolver un único valor de verdad.
Entonces, existen 16 funciones distintas posibles, y es fácil construir una tabla que muestre
qué devuelve cada función frente a las distintas combinaciones de valores de verdad de A y
de B.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A· A· A· A· A· A· A· A· A· A· A· A· A· A· A· A·
A B
B B B B B B B B B B B B B B B B
VV V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de
valores de verdad de A y de B. Hay por lo tanto 4 líneas, y las 16 columnas despliegan
todos los posibles valores que puede devolver una función "·".
De esta forma podemos conocer mecánicamente, mediante algoritmo, los posibles valores
de verdad de cualquier conexión lógica interpretada como función, siempre y cuando
definamos los valores que devuelva la función.
Se hace necesario, pues, definir las funciones que se utilizan en la confección de un sistema
lógico.
De especial relevancia se consideran las definiciones para el Cálculo de deducción
natural y las puertas lógicas en los circuitos electrónicos.
[editar] Definiciones en el cálculo lógico
Artículo principal: Cálculo lógico
Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harán en función del fin que se pretenda al construir el sistema que haga
posible la formalización de argumentos:
• Como razonamientos deductivos lógico-lingüísticos
• Como construcción de un sistema matemático puro
• Como una aplicación lógica en un Circuito de conmutación.
Los operadores fundamentales se definen así:
[editar] Negación
[editar] Conjunción
La conjunción es un operador que opera sobre dos valores de
verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso.
La tabla de verdad de la conjunción es la siguiente:
[editar] Disyunción
[editar] Bicondicional
[editar] Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella proposición que en
todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma,
su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de
la forma en que están establecidas las relaciones de unas con otras. Sea el caso:
[(A/\B)/\¬(A\/B)]/\C
Procederemos de manera similar al caso anterior. Aplicamos (Columna 4) la definición de
conjuntor a los valores de A y B.(columnas 1,2 → 4) Después aplicamos la definición de
disyuntor a los valores de A y B. (columnas 1,2 → 5) Aplicamos en la columna siguiente
(Columna 6) el negador a los valores de la columna anterior. Aplicamos el conjuntor a los
valores de la columna (A/\B)(Columna 4) con los de la columna ¬(A\/B).(Columna 6) Por
último (Columna 8) aplicamos el conjuntor a los valores de la columna de C (Columna 3) con
la columna última (Columna 7)cuyo resultado nos da los valores de [(A/\B)/\¬(A\/B)]/\C,
siempre falsos cualquiera que sea la fila que consideremos.
1 2 3 4 5 6 7 8
A B C A/\B A\/B ¬(A\/B) (A/\B)/\¬(A\/B) [(A/\B)/\¬(A\/B
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F F V F F
F F F F F V F F
[editar] Tautologías
Se entiende por proposición tautológica, o tautología, aquella proposición que en todos los
casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V
no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en
que están establecidas las relaciones sintácticas de unas con otras. Sea el caso: [(A→B)/\
(B→C)] →(A→C)
Siguiendo la mecánica algorítmica de la tabla anterior construiremos su tabla de verdad:
A B C A→B B→C (A→B)/\(B→C) (A→C) [(A→B)/\(B→C)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
.
[editar] Tablas de verdad, proposiciones lógicas y
argumentos deductivos
Artículo principal: Cálculo lógico
En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos manifesta
todo lo que implican las relaciones sintácticas entre las diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
• La gran cantidad de operaciones que hay que hacer para una proposición con más de
4 variables.
Esta dificultad ha sido magníficamente superada por la rapidez de los ordenadores, y no
presenta dificultad alguna.
• Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la
proposición condicionada, como conclusión, sea previamente conocida, al menos
como hipótesis, hasta comprobar que su tabla de verdad manifiesta una tautología.
Por ello se construye un cálculo mediante cadenas deductivas:
Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman
como premisas de un argumento.
Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas, (pues
garantizan, por su carácter tautológico, el valor V).
Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien
formadas en las relaciones que puedan establecerse entre dichas premisas.
Deduciendo mediante su aplicación, como teoremas, todas las conclusiones posibles que
haya contenidas en las premisas.
Cuando en un cálculo se establecen algunas leyes como principios o axiomas, el cálculo se
dice que es axiomático.
El cálculo lógico así puede utilizarse como demostración argumentativa.
[editar] Aplicaciones
[editar] Cálculo lógico
La aplicación fundamental se hace cuando se construye un sistema lógico que modeliza el
lenguaje natural sometiéndolo a unas reglas de formalización del lenguaje. Su aplicación
puede verse en el cálculo lógico.
[editar] Lógica de circuitos
Artículo principal: Puerta lógica
Puertas lógicas para circuitos eléctricos
Una aplicación importante de las tablas de verdad procede del hecho de que, interpretando
los valores lógicos de verdad como 1 y 0 (lógica positiva) en el sentido que
• valor "1" permite el paso de corriente eléctrica; y
• valor "0" corta el paso de dicha corriente.
Los valores de entrada o no entrada de corriente a través de un diodo pueden producir una
salida 0 ó 1 según las condiciones definidas como función según las tablas mostradas
anteriormente.
Así se establecen las algunas funciones básicas: AND, NAND, OR, NOR, XOR, XNOR (o
NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7
respectivamente, y la función NOT.
En lugar de variables proposicionales, considerando las posibles entradas como EA y EB,
podemos armar una tabla análoga de 16 funciones como la presentada arriba, con sus
equivalentes en lógica de circuitos.
EA EA
NO N NO
OR EA EA EA EA AN
EA BUF T(E BUF O NO T(E Fa
E E Ver NO XN AN NA XO D NO
OR FER A) FER T T(E A) ls
A B dad T OR D ND R NO R
EB EA OR EB E A) OR o
(EB EB EB EB EB T(E
EB B EB
) B)
1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
[editar] Caso 2
En este segundo caso el resultado solo es falso si A y B son falsos, si una de las dos
variables es cierta el resultado es cierto.
La función seria:
[editar] Caso 3
[editar] Caso 5
En el quinto caso si A es
falso el resultado es
verdadero, y si A y B son
verdaderos el resultado
también es verdadero, puede
verse que este caso es idéntico al tercero permutando A por B.
Y si función es:
[editar] Caso 6
[editar] Caso 7
El séptimo caso
corresponde a la
relación
bicondicional
entre A y B, el
resultado solo es
cierto si A y B
son ciertos o si A
y B son falsos.
[editar] Caso 8
[editar] Caso 9
En el noveno caso el
resultado solo es falso si A y
B son ciertos, en el resto de
los valores de A y B el
resultado es verdadero,
corresponde a la disyunción de la negación A y de B, equivalente a un circuito en paralelo
de conexiones inversas.
[editar] Caso 10
[editar] Caso 11
[editar] Caso 12
[editar] Caso 14
[editar] Caso 15
[editar] Caso 16
Matemáticas
Números naturales, enteros, fraccionarios, aritméticos y exponentes
Mejor respuesta - elegida por quien preguntó
No concuerdo con "isi yamak" en que los numero naturales son todos los que estan en la
recta numérica porque se llaman naturales porque provienen de lo que podemos contar en la
naturaleza, y en la naturaleza no existen los números negativos, es como si dijera que en mi
casa hay -2 perros, es decir no existen en la naturaleza ni los negativos ni el cero.
Naturales: los que usamos para contar 1,2,3,4,5,6,7, etc.. que nos fueron dados por lo que
observamos de la naturaleza. se denotan por la letra N
Enteros: Son todos los numeros que no son fracciones ni decimales es decir son ENTEROS
y comprenden positivos, negativos y el cero -3,-2,-1,0,1,2,3 se denotan por la letra Z
Los numeros fraccionarios son las fracciones, es decir la división (tambien llamada
cociente) de dos numeros enteros 1/2 3/4 /5/6 y se clasifican en fracciones propias,
impropias, mixtas y decimales. A veces se usan como sinonimo de los numeros racionales
denotas por la letra Q
Los exponentes son los numeros que te indican a que potencia vas a elevar un numero, por
ejemplo en 2 a la 3 significa que tienes que elevar (multiplicar) el numero (2) por si mismo
tres veces. Se usan en matemática básica pero tienen mas utilidades en el álgebra.
Lenguaje algebraico
El lenguaje algebraico
En lenguaje álgebraico nace en la civilización musulmán en el período de Al–khwarizmi, al cual se le
considera el padre del álgebra. el lenguaje álgebraico consta principalmente de las letras de alfabeto y
algunos vocablos griegos. La principal función de lenguaje álgebraico es estructurar un idioma que
ayude a generalizar las diferentes operaciones que se desarrollan dentro de la aritmética, por ejemplo: si
queremos sumar dos números cualesquiera basta con decir a + b; donde la letra a indique que es un
número cualquiera de la numeración que conocemos, b de la misma manera que a significa un número
cualquiera de la numeración.
También el lenguaje álgebraico ayuda mantener relaciones generales para razonamiento de problemas
a los que se puede enfrentar cualquier ser humano en la vida cotidiana.
Lenguaje Álgebraico.
Para poder manejar el lenguaje álgebraico es necesario comprender lo siguiente:
Se usan todas las letras del alfabeto.
Las primeras letras del alfabeto se determinan por regla general como constantes, es decir,
cualquier número o constante como el vocablo pi.
Por lo regular las letras X., Y y Z se utilizan como las incógnitas o variables de la función o
expresión álgebraica.
Operaciones con Lenguaje Álgebraico
Aqui se presentan los siguientes ejemplos, son algunas de las situaciones más comunes que involucran
los problemas de matemáticas con lenguaje álgebraico; cualquier razonamiento extra o formulación de
operaciones con este lenguaje se basa estrictamente en estas definiciones:
un número cualquiera
se puede denominar con cualquier letra del alfabeto, por ejemplo:
a = un número cualquiera
b = un número cualquiera
c = un número cualquiera
... y así sucesivamente con todos los datos del alfabeto.
la suma de dos números cualesquiera
a+b = la suma de dos números cualesquiera
x+y = la suma de dos números cualesquiera
la resta de dos números cualesquiera
a-b = la resta de dos números cualesquiera
m-n = la resta de dos números cualesquiera
la suma de dos números cualesquiera menos otro número cualquiera
a-b+c =la suma de dos números cualesquiera menos otro número cualquiera
el producto de dos números cualesquiera
ab = el producto de dos números cualesquiera
el cociente de dos números cualesquiera (la división de dos números cualesquiera)
a/b= el cociente de dos números cualesquiera
la semisuma de dos números cualesquiera
(a+b)/2= la semisuma de dos números cualesquiera
el semiproducto de dos números cualesquiera
(ab)/2= el semiproducto de dos números cualesquiera
Operaciones de monomios y polinomios (adición, resta, multiplicación,
división)
w w w .mitecnolog w w w .mitecnolog
1. Expresiones algebraicas
Expresión algebraica es la forma de las matemáticas que escribimos con letras, números,
potencias y signos.
Parte literal
Valor número de una expresión algebraica. Para hallar el valor numérico de una expresión
algebraica sustituimos las letras por el valor dado y hacemos las operaciones que se nos
indiquen.
1ª- Si una expresión algebraica está formada por un solo término se llama monomio. Ej:
3×2
2ª- Toda expresión algebraica que esté formada por dos términos se llama binomio. Ej: 2×2
+ 3xy
3ª- Toda expresión algebraica formada por tres términos se llama trinomio.
1º- Si está ordenado. Para ordenar un polinomio, colocamos los monomios de mayor a
menor, según su grado.
2º- Si está completo. Completar un polinomio es añadir los términos que falten poniendo de
coeficiente 0.
Suma o resta de monomios: Para sumar o restar monomios es necesario que sean
semejantes. Monomios semejantes son aquellos que tienen la misma parte literal y el
mismo grado. Ej: 2×3 + 5×3 - 6×3.
Para hacer la operación sumamos los coeficientes y dejamos la misma parte literal. Ej: 2×3
+ 5×3 - 6×3 = x3.
División de monomios: Para dividir dos monomios, se dividen los coeficientes, se deja la
misma parte literal y se restan los grados. Ej: 4×5y3:2×2y= 2×3y2
Suma de polinomios: Para sumar polinomios colocaremos cada monomio debajo de los que
son semejantes y sumaremos sus coeficientes.
Ej: 7×5+0×4+3×3+4×2–2x
5×5+0×4+0×3 -x2 -x
12×5+0×4+3×3+3×2–3x
Multiplicación de polinomios: Para multiplicar polinomios haremos lo mismo que para
multiplicar monomios, multiplicamos los coeficientes y sumamos los grados de las letras
que son iguales.
Si son varios los polinomios que tenemos que multiplicar haremos lo mismo pero
pondremos los que son semejantes debajo unos de otros y los sumaremos al final.
Q(x)= 2×3
P(x).Q(x)= 4×8+6×7–4×6–2×5+4×4
Para dividir dos polinomios haremos lo mismo que para dividir monomios y polinomios,
teniendo en cuenta que en el divisor nos encontraremos con 2 términos.
Ej: 4×4–2×3+6×2–8x-4 2x
-4×4 2×3-x2+3x-4
0–2×3
+2×3
0+6×2
-6×2
0–8x
+8x
0–4
3. Igualdades notables
Cuadrado de la suma de dos números: Es igual al cuadrado del primero más doble producto
del primero por el segundo más cuadrado del segundo.
Cuadrado de la diferencia de dos números: Cuadrado del primero menos doble producto del
primero por el segundo más el cuadrado del segundo.
Cubo de la suma de dos números: Es igual al cubo del primero más triple del cuadrado del
primero por el segundo más triple del cuadrado del segundo por el primero más cubo del
segundo.
Cubo de la diferencia de dos números: Es igual al cubo del primero menos triple del
cuadrado del primero por el segundo más triple del cuadrado del segundo por el primero
menos cubo del segundo.
Las ecuaciones
Ecuación y función
2. Resolución de ecuaciones
3
Sistemas de ecuaciones
Si una expresión algebraica la igualamos a otra expresión algebraica y nos encontramos con
dos incógnitas necesitamos otra igualdad de expresiones algebraicas para poderla resolver.
Una expresión algebraica con dos incógnitas es lo que llamamos sistema de ecuaciones.
1º- Quitamos los paréntesis (si los hubiere) de las dos ecuaciones.
2º- Quitamos los denominadores (si los hubiere) de las dos ecuaciones.
3º- Pasamos las incógnitas al 1er miembro de la igualdad y los números al 2º miembro.
1º- Quitar los paréntesis (si los hubiere) de las dos ecuaciones.
2º- Quitar los denominadores (si los hubiere) de las dos ecuaciones.
3º- Pasamos las incógnitas al 1er miembro de la igualdad y los números al 2º miembro.
1º- Quitamos los paréntesis (si los hubiere) de las dos ecuaciones.
2º- Quitamos los denominadores (si los hubiere) de las dos ecuaciones.
3º- Pasamos las incógnitas al 1er miembro de la igualdad y los números al 2º miembro.
4º- Igualar los coeficientes de una incógnita y cambiar de signo si son iguales.
P(x):Q(x)= 2×3-x2+3x-4
R= −4
__ 1. −3×2(−5×2-x-7) A. 25×4y3+25×2y2+10xy
__ 2. −5x(−3×5–4×2+7) B. −40×5+16×3–56×2
__ 3. −5x(2y5+2y2+2xy) C. 15×4+3×3+21×2
__ 4. 2x(−5×8+x2–12xy) D. 15×6+20×3–35x
__ 5. 3y2(6y4+8y3+5) E. −10xy5–10xy2–10×2y
__ 6. 5x(8×4–4×2–7) F. −10xy5–10×2y3+20×2
__ 7. 5xy(5×3y2+5xy+2) G. 10×8+10×6+40×5
__ 8. 5×5(2×3+2x+8) H. 18y6+24y5+15y2
__ 9. 8×2(−5×3+2x-7) I. −10×9+2×3–24×2y