Que es lógica

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticasque estudia los principios de
la demostración y la inferencia válida,1 las falacias, las paradojas y la noción de verdad.2
La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas
formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica computacional aplica la
lógica matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica
moderna para el estudio de problemas filosóficos.
Los orígenes de la lógica se remontan a la Edad Antigua, con
brotes independientes en China, India y Grecia. Desde entonces,
la lógica tradicionalmente se considera una rama de la filosofía,
pero en el siglo XX la lógica ha pasado a ser principalmente la
lógica matemática, y por lo tanto ahora también se considera
parte de las matemáticas, e incluso una ciencia formal
independiente.
En lógica, la validez es una propiedad que tienen
los argumentos cuando las premisas implican la conclusión. Si la
conclusión es una consecuencia lógica de las premisas, se dice
que el argumento es deductivamente válido.6 Algunos consideran
estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede
haber argumentos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las
inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas.
Para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión
sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal
exige únicamente una relación condicional entre las premisas y la conclusión. Esto es: que si las premisas son
verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de
consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisas conforme a las reglas de
un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento,
además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido.
Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las
estudia mediante sistemas formales.

Que es lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica
teorética, lógica formal o logística,1 es el estudio matemático de
la lógica y su aplicación a otras áreas de la matemática y la ciencia.
Comprende la aplicación de las técnicas de la lógica formal a las
matemáticas y el razonamiento matemático, y conversamente la aplicación
de técnicas matemáticas a la representación y el análisis de la lógica
formal. La investigación en lógica matemática ha jugado un papel crucial
en el estudio de los fundamentos de las matemáticas.
La lógica matemática estudia la inferencia mediante la construcción
de sistemas formales como la lógica proposicional, la lógica de primer
orden o la lógica modal. Estos sistemas capturan las características
esenciales de las inferencias válidas en los lenguajes naturales, pero al
ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre
ellas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de
conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento
de la lógica matemática. La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la
fuente de muchos de los temas más desafiantes e importantes de la lógica matemática, a partir del teorema de
Cantor, el axioma de elección y la cuestión de la independencia de la hipótesis del continuo, al debate moderno
sobre grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la
computación.
La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus logros más
clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-
Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases
de complejidad (¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de
insolubilidad.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos
como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción
formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los
mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado
dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de
axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales
útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos
más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método
para descubrir verdades del mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías
científicas, muy especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo
de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con
algunos signos o diagramas, sino sólo de demostraciones y razonamientos que se pueden formalizar por completo.

Que son conectivo lógicos

En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores
lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o
moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las
fórmulas componentes.
Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que
unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la
negación como un conectivo monádico.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas
lógicos, principalmente la lógica proposicional y la lógica de predicados.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de
control de un algoritmo o programa.

Lenguaje natural[editar]
En la gramática de los lenguajes naturales, dos frases pueden unirse mediante una conjunción gramatical para
formar una oración gramaticalmente compuesta. Algunas de estas conjunciones gramaticales, pero no todas, son
funciones de verdad. Por ejemplo, considere las siguientes frases:
A: Juan subió la montaña.
B: Pedro subió a la montaña.
C: Juan subió a la montaña y Pedro se subió a la montaña.
D: Juan subió la montaña, por lo tanto Pedro subió la montaña.
Las expresiones y y por lo tanto son conjunciones gramaticales que unen las oraciones (A) y (B)
para formar las oraciones compuestas (C) y (D). La y de (C) es un conector lógico, ya que da el
valor de verdad de (C) está completamente determinado por el valor de (A) y (B), tiene sentido
para el estado (A) y (B) con el resultado(C). Del mismo modo, por lo tantoen (D) es conector lógico,
ya que para (A) y (B) con el resultado (D).

Lenguajes formales[editar]
 En los lenguajes formales, las funciones de verdad son representadas por símbolos inequívocos.
Estos símbolos se llaman "conectivos lógicos", "operadores lógicos", "operadores proposicionales",
o, en la lógica clásica, la "de funciones conectivos de verdad." Véase fórmulas bien formadas para
saber las reglas que permiten las nuevas fórmulas bien formadas sean construidas al juntar otras
fórmulas bien formadas utilizando conectivos de funciones de verdad.
Los conectivos lógicos pueden ser utilizados para conectar más de dos afirmaciones, entonces es
común hablar de "conector lógico n-ario".

Cual es la función de cada conectivo lógico

conjunción: En razonamiento formal, una conjunción lógica ( ) entre dos

proposiciones es un conector lógico cuyo valor de la verdad resulta
en ciertosólo si ambas proposiciones son ciertas, y en falso de cualquier otra
forma. Existen diferentes contextos dónde se utiliza la conjunción lógica.
En lenguajes formales, la palabra "y" se utiliza en español para simbolizar
una conjunción lógica. La noción equivalente en la teoría de conjuntos es
laintersección ( ). En algebra Booleana, la conjunción como operador
binario entre dos variables se representa con el símbolo de punto
medio ( · )

disyunción: En razonamiento formal, una disyunción lógica ( ) (en especifico, una disyunción
inclusiva) entre dos proposiciones es un conector lógico cuyovalor de la verdad resulta en falso sólo
si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos
dónde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar una disyunción lógica. Se
debe distinguir entre el "ó" inclusivo y el "ó" exclusivo, este artículo se refiere al "ó" inclusivo. La
noción equivalente en lateoría de conjuntos es la unión ( ). En algebra Booleana, la disyunción
como operador binario entre dos variables se representa con el
símbolo demás ( + ).

Condicional: El condicional material, también conocido

como implicación material, condicional funcional de verdad o
simplemente condicional, es una constante lógica que conecta
dos proposiciones. El condicional material intenta ser la versión
formal del condicional en el lenguaje natural, el cual se expresa
por medio de palabras como las siguientes:
o Si llueve, entonces voy al cine.
o Voy al cine si llueve.
o Cuando llueve, voy al cine.
Simbólicamente, el condicional material se suele denotar de las
siguientes maneras:

, y en ocasiones:

Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen

respectivamente como el antecedente y el consecuente del condicional.

Bicondicional: En matemáticas y lógica, un bicondicional, (también

llamado equivalencia o doble implicación, en ocasiones abreviado como ssi,sii, o syss), es
una proposición de la forma «P si y solo si Q»
y afirma que la proposición P será verdadera
exclusivamente cuando Q también lo sea, así
como también P será falsa cuando Q lo sea.
Otra forma de expresar el bicondicional es
decir que Q es una condición necesaria y
suficiente para P

negación: En lógica y matemática, la negación, también llamada complemento lógico, es

una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y
viceversa. En lógica clásica la negación está normalmente identificada con la función de verdad que
cambia su valor de verdadero a falso y viceversa. En Lógica intuicionista, de acuerdo a
la interpretación BHK, la negación de una proposición p es la proposición cuyas pruebas son las
refutaciones de p. En la semántica de Kripke, donde los valores semánticos de las fórmulas son
conjuntos de posibles mundos, la negación de p, es su complemento.
 Ésta es la función de todas las teclas de función
F1: Esta tecla sirve para abrir una ventana de ayuda en el programa o aplicación que tengamos abierto en ese
momento.

F2: Pulsa las veces que quieras y no hará nada. Para que sirva de algo antes se debe tener seleccionado
algún archivo (ve a tu escritorio y haz la prueba seleccionando cualquier carpeta). Solo entonces veremos que
al pulsar F2 nos darán la opción de cambiar el nombre de la carpeta o archivo. Este atajo en la mayoría de
ocasiones se ha perdido optando por seleccionar lo que queramos con el ratón y volver a pulsar con el botón
izquierdo para cambiar el nombre.

F3: Esta tecla nos permitirá abrir el menú de búsqueda allá donde estemos del ordenador.

F4: Para poder utilizar esta función se debe combinar con la tecla ‘ALT’. Al pulsarlas a la vez se cerrará la
página o programa que esté abierto.

F5: La más famosa de todas. Sirve para refrescar la pantalla, especialmente útil cuando se navega por
internet.

F6: Siguiendo en el navegador, esta tecla te envía directamente sobre la URL y permite escribir encima de
forma rápida.

F7: Esta quizá es la segunda función más famosa, sobre todo entre los usuarios de programas de edición de
texto como Microsoft Word. Sirve para abrir una ventana emergente que revisa la ortografía y la gramática, en
dicho programa. Navegando por internet no ocurre nada.

F8: Las dos funciones más famosas de esta tecla son: seleccionar texto en Word y –si se mantiene pulsada al
encender el ordenador- para abrir el modo a prueba de fallos.

F9: Aunque parezca que carece de funcionalidad en realidad sirve para: actualizar un documento en Word,
enviar o recibir mails en Outlook, recalcular fórmulas en Excel o abrir una presentación en Corel Draw como si
fuera Microsoft PowerPoint.

F10: Sirve para acceder a la barra de navegación y, combinada con la tecla shift (la que tiene la flecha hacia
arriba), muestra la misma ventana emergente que aparece al clickar con el botón secundario del ratón.

F11: Esta tecla ha provocado más de un susto entre los usuarios cuando la pulsan sin querer y no saben
cómo volver para atrás. Sirve para que la ventana del navegador abierta se vea a pantalla completa. Se
recupera la vista normal volviendo a pulsar F11. En Word, en cambio, ayuda a encontrar de forma rápida los
hipervínculos introducidos en el texto y en Excel permite insertar gráficos al instante.

F12: Abre el documento que estás visualizando en internet en modo HTML, mientras que en programas como
Word o Excel sirve para acceder de forma inmediata a la función de “Guardar como”.

Partes del teclado

Teclas de función

Son un conjunto de teclas ubicadas en la parte superior del teclado, que van desde la tecla que contiene
un F1hasta otra última que contiene un F12 y permiten la realización de diferentes atajos del sistema
informático, dependiendo del programa que se esté ejecutando.
Además, existe una tecla específica ubicada en la parte superior izquierda del teclado llamada escape (Esc)
que se utiliza, comúnmente, para cancelar operaciones y salir de diferentes programas

Teclas de control

Se trata de un conjunto de teclas que pueden usarse solas o en combinación con otras teclas para realizar
diferentes funciones en el dispositivo. Estas teclas son las que permiten el control en diferentes programas.
Entre las teclas de control se destacan: control (Ctrl), alternador (Alt), Shift, Intro o Enter, Tabulador, y también
puede incluirse el escape (Esc), ya que puede ser tanto tecla de control como tecla de función.

Teclas alfanuméricas

Es el grupo de teclas que abordan el mayor espacio en el teclado, y similar al teclado de una máquina de
escribir, pues incluye todas las letras del alfabeto, la sucesión de números 1-0 y los signos de puntuación y
acentuación. Además, incluye una barra espaciadora, una tecla para borrar y un Intro o Enter.

Teclado numérico

Es aquel grupo de teclas, ubicado en la parte derecha de un teclado, que se compone, en un espacio reducido,
por la sucesión de números del 1 al 0, además de los signos de las cuatro operaciones
básicas: suma(+), resta (-), multiplicación(*) y división (/); y una tecla de intro o enter.
Teclas especiales

Son un bloque de teclas ubicado en la parte intermedia del teclado, justo entre el teclado alfanumérico y el
numérico, aunque puede variar según el modelo del teclado. Las teclas que lo componen tienen como función
editar diferentes textos y realizar algunas funciones especiales. Estas teclas son: Imp, Pant, bloqueo de
desplazamiento, pause, inicio, repág, avpág.

Teclas de desplazamiento

Se trata del conjunto de 4 teclas que contienen los cursores que permiten el movimiento en las cuatro
direcciones, en diferentes programas o aplicaciones. Son comúnmente usadas en los videojuegos de la
computadora, donde algunas veces, el movimiento puede ser generado también por las teclas que contienen
las letras W, A, S y D.