Oppa





INTRODUCCIÓN

Este trabajo es muy interesante porque nos enseña sobre la lógica y las conectividades lógicas, que se utilizan con el fin de obtener precisión, claridad y generalidad en los razonamientos. La precisión la logra mediante el uso de símbolos, los cuales tienen como función primordial eliminar las ambigüedades que la estructura del lenguaje ordinario no puede evitar confacilidad. La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos básicos de un argumento lógico, tanto en su representación simbólica como en su significado para luego establecer un lenguaje simbólico artificial, que le permita simplificar argumentos lógicos complicados; de esta manera, el símbolo permite concentración sobre lo esencial de un contextodado, incrementando la fiabilidad con que se aplica el conocimiento.






LAS CONECTIVAS LÓGICAS

1. Definición de Conectiva Lógica

Conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.

En programación se utilizan paracombinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.

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.


2. Identificar cada una de las conectivas lógicas, definir cada un e indicar como se leen.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 conectivas más usuales ysu definición mediante tablas de verdad:

Conectivas
Nombre
Se Lee
“-“
Negación
No. No es el caso que…
“Ʌ”
Conjunción
Y
“V”
Disyunción inclusiva
O,…O…(O ambos)
“→”
Condicional
Si… entonces…
“↔”
Bicondicional
…Si y sólo si…
“V”
Disyunción exclusiva
O … O … O… (pero no ambos)
“”
Negación conjunta
No… ni… (no… y no…)
“∕”
Negación alternativa
No…o no… …incompatible3. Como se llama la relación que establecen y como se lee la relación entre “p y q”, si estuvieran relacionadas por una determinada conectiva lógica.

Los símbolos que sirven para enlazar dos o más proposiciones simples, se llaman conectivos lógicos, estos son: la conjunción, la disyunción, la negación, el condicional y el bicondicional.

La relación entre “p y q” se lee, sea “p y q” dosproposiciones simples. La proposición compuesta “p y q” simbolizada por “p Ʌ q”, se denomina la conjunción de “p y q”.



4. Elaborar ejemplo de proposiciones compuestas, utilizando cada uno de los conectores lógicos.


4.1. Negación

El neón es radiactivo El neón no es radiactivo
p - p



4.2. Conjunción

Dadas dos proposiciones p y q, sedenomina conjunción de estas proposiciones a la proposición:


Establece que la conjunción es verdadera sólo si las dos proposiciones componentes son verdaderas. Cuando una de ellas no cumple la proposición resultante es falsa.

Para que la proposición molecular unida por la conjunción sea verdadera, las proposiciones atómicas que la conforman ambas tienen que ser verdaderas simultáneamente.

Ejemplos:
Sea laproposición molecular: "8 es múltiplo de 2 y 9 es un número impar"

p = "8 es múltiplo de 2" (verdadera) , q = "9 es un número impar" (verdadera)
por ser ambas verdadera la conjunción entre ellas es verdadera.
Sea la proposición molecular: "La fresa es una fruta y 3 es un número par"
p = "La fresa es una fruta" (verdadera) , q = "3 es un número par" (falsa)
Por tanto, la conjunción entre...