Biologo

Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. A continuación hay una tabla con las corrrnectivas más usuales ysu definición mediante tablas de verdad:
Conectiva | Notación | Ejemplo
de uso | Análogo
natural | Ejemplo de uso en
el lenguaje natural | Tabla de verdad |
Negación | | | no | No está lloviendo. | |
Conjunción | | | y | Está lloviendo yes de noche. | |
dcds | | | o | Está lloviendo oes de noche. | |
Condicional material | | | si... entonces | Si está lloviendo,entonces esde noche. | |
Bicondicional | | | si y sólo si | Está lloviendo si y sólo si es de noche. | |
Negación
conjunta | | | ni... ni | Ni está lloviendoni es de noche. | |
Disyunción
excluyente] | | | o bien... o bien | O bien está lloviendo, o bienes de noche. | |
[editar]Otras conectivas
Dado que las conectivas son funciones de verdad, existirán tantas conectivas como funciones deverdad. Sin embargo, no todas las funciones de verdad tienen análogos en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo interés. A continuación se incluye una tabla que lista las 16 conectivas binarias posibles.

Donde:
*  es una tautología.
*  es la disyunción.
*  es el condicional material inverso.
*  es el condicional material.
*  esel bicondicional.
*  es la conjunción.
*  es la negación alternativa, incompatibilidad, o "NAND".
*  es la disyunción exclusiva, contravalencia o "XOR".
*  es la negación del condicional material.
*  es la negación del condicional inverso.
*  es la negación conjunta, o "NOR".
*  es una contradicción.
-------------------------------------------------
[editar]Véase tambiénProposiciones
En el idioma científico, una proposiciòn se refiere a un enunciado que puede ser verdadero o falso, generalmente una oración enunciativa, base de lo que constituye el lenguaje formal de la lógica simbólica.
Una proposición lógica es Expresión enunciativa a la que puede atribuirse un sentido o función lógica de verdad o falsedad.
Aunque existen lógicas polivalentes, en orden a laclaridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.
Otro tipo de entes que se utilizan en computación que también está asociado a “dos” opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas ó falsas y de acuerdo a esta condición se desarrolla el estudio sobre dichosconceptos. Este tema se conoce como cálculo de proposiciones.
Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuando es susceptible de ser verdadero o falso. “Es de noche”.Son A ,Ante ,bajo ,con ,contra ,de ,desde ,durante ,en ,entre ,hacia ,hasta ,para ,por ,segun ,sin ,sobre y tras
Los argumentos son una delas formas más comunes en matemáticas, en lógica y en computación de establecer razonamientos para llegar a la verdad. Si tenemos un conectivo lógico OR de dos valores de entrada y después un inversor, cuál es la salida. O si en un programa con una instrucción tipo if se tiene la condición X > 3 and X < 10 cómo se sabe si se ejecutó el comando.
Desarrollo.
La lógica matemática es ladisciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las...