Documente Academic
Documente Profesional
Documente Cultură
Y ATÓMICAS
Una proposición es cualquier agrupación de palabras o símbolos que tengan sentido y de la
que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o
falsedad de una proposición es lo que se llama su valor lógico o valor de verdad
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.
con el estudio de la lógica se persigue llegar a ser presido y cuidadoso.la lógica tiene un
lenguaje exacto, pero aunque así sea vamos a intentar construir un vocabulario para este
lenguaje preciso utilizando lenguaje cotidiano,
Para empezar, consideremos las proposiciones en lengua castellana, cada proposición tiene
una forma lógica ala que se le dará un nombre.se consideran y se simbolizan dos clases de
proposiciones en la lógica, unas se denominan atómicas y otras moleculares
Atómico, el significado de esta palabra en el lenguaje de la lógica es análogo a su significado
original en las ciencias físicas. en lógica, atómicas son las proposiciones de forma mas
simple.si se juntan una o varias proposiciones atómicas con un termino de enlace , se tiene
proposicional molecular. Una proposición atómica es una proposición sin enlace, se usan
términos de enlace para formar proposiciones moleculares a partir de las proposiciones
atómicas.
LOGICA PROPOSICIONAL
1 Lógica proposicional
1.1 El lenguaje de la lógica proposicional
1.1.1 Proposiciones atómicas y proposiciones moleculares
La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se
transmite de unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de
significado susceptible de ser verdadera o falsa.
Una palabra aislada, por sí misma, no nos dice nada. La palabra "perro" tiene una referencia, pero no nos da
ninguna información si no es en el contexto de una proposición como "El perro está haciendo cosas raras".
Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de
verdad las proposiciones.
Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y las proposiciones moleculares.
Las proposiciones atómicas son aquéllas que no se componen de otras proposiciones. La proposición
Todos los hombres son mortales
es una proposición atómica porque ninguno de sus elementos componentes es una proposición. Como
podemos observar, una proposición atómica es verdadera o falsa, y su verdad o falsedad no depende de otras
proposiciones, sino de cómo es la realidad. Si hubiera algún hombre inmortal, la proposición del ejemplo sería
falsa.
Las proposiciones moleculares son aquéllas que están compuestas por proposiciones atómicas. Un ejemplo
de proposición molecular sería:
Voy a comprar pan y a tomar un café
La proposición del ejemplo es molecular porque se compone de dos proposiciones atómicas:
Voy a comprar pan
Voy a tomar un café
Estas dos proposiciones atómicas están conectadas mediante la partícula "y". Una proposición molecular será
verdadera o falsa, pero a diferencia de lo que ocurre con las proposiciones atómicas, su verdad o falsedad no
depende directamente de la realidad, sino que depende o es función de la verdad o falsedad de las
proposiciones atómicas que la componen. Esto significa que si quiero saber si es verdadero o falso que voy a
comprar pan y a tomar un café, es necesario que conozca la verdad o falsedad de "voy a comprar pan" y de
"voy a tomar un café" por separado.
1.1.2 Conectivas lógicas
Las proposiciones atómicas pueden combinarse de diferentes formas para dar lugar a proposiciones
moleculares. Los elementos que sirven para conectar las proposiciones atómicas entre sí se llaman
conectivas lógicas. Las conectivas lógicas nos dicen cómo afecta el valor de verdad de las proposiciones
atómicas al valor de verdad de las proposiciones moleculares. Ya hemos visto que en el lenguaje natural, la
conjunción "y" funciona como una conectiva lógica. Así, cuando decimos:
Las flores son plantas y los erizos aves
estamos conectando la proposición atómica "las flores son plantas" con la proposición atómica "los erizos
son aves" mediante la conectiva lógica "y". La "y" nos está diciendo que la proposición molecular "Las flores
son plantas y los erizos aves" sólo es verdadera si las dos proposiciones atómicas que la componen son
ambas verdaderas, y será falsa en caso de que, al menos una de ellas, sea falsa. Como sabemos que los
erizos no son aves, podemos concluir que la proposición "Las flores son plantas y los erizos aves" es falsa.
Probemos a cambiar la conectiva lógica del ejemplo, y conectemos las dos proposiciones atómicas del
siguiente modo:
Las flores son plantas o los erizos son aves
La disyunción "o" también funciona aquí como una conectiva lógica y nos está diciendo que la proposición
molecular "las flores son plantas o los erizos son aves" es verdadera si al menos una de las proposiciones
atómicas que la componen es verdadera. Sabemos que los erizos no son aves, pero como las flores sí son
plantas, concluimos que la proposición molecular del ejemplo es verdadera.
Como vemos, las conectivas lógicas funcionan como operadores matemáticos.
En matemáticas hay símbolos como "+" y "--". Decir "1+1" no es lo mismo que decir "1--1". Cada operador
asigna un valor distinto a la misma combinación de símbolos, de modo que a la primera combinación (1+1) le
corresponde el 2 y a la segunda (1--1) le corresponde el 0. Del mismo modo, en lógica, a la proposición "Las
flores son plantas y los erizos aves" le corresponde el valor de verdad V (verdadero) y a la proposición "Las
flores son plantas o los erizos son aves" le corresponde el valor de verdad F (falso).
En el cálculo lógico que nosotros vamos a estudiar, hay cuatro conectivas lógicas. Ya hemos visto dos: la
conjunción y la disyunción. Una tercera forma de conectar dos proposiciones atómicas sería:
Si las flores son plantas entonces los erizos son aves
Esta forma de conectar dos proposiciones nos indica que una de ellas es la condición de la otra y por eso la
conectiva correspondiente se llama "condicional" o "implicador". La primera proposición (Las flores son
plantas) es la condición que se ha de cumplir, y nos referiremos a ella como antecedente; la segunda
proposición (los erizos son aves) es lo condicionado, y nos referiremos a este elemento del condicional
como consecuente.
En cuarto lugar tenemos la negación que, aplicada a una proposición atómica, simplemente invierte su valor
de verdad, de modo que si la proposición atómica
Los erizos son aves
es falsa, entonces la proposición molecular
Los erizos no son aves
será verdadera. Quizá sorprenda que consideremos molecular la proposición "los erizos no son aves", pues
que no se compone de dos proposiciones atómicas, sino de una. La razón de que dicha proposición sea
molecular y no atómica es que uno de sus elementos componentes (a saber, la proposición "los erizos son
aves") es una proposición atómica. Obsérvese que la negación no modifica el significado de la proposición
negada, sino únicamente su valor de verdad. Esta falta de significado es un rasgo esencial de las conectivas
lógicas.
1.1.3 Símbolos de la lógica proposicional
Como ocurre en otras ciencias, es necesario en lógica utilizar un lenguaje simbólico especial que elimine los
rasgos que no nos interesan y pongan de manifiesto los que sí nos interesan. En lógica nos interesa
saber cómo están combinadas las proposiciones , y no nos interesa en absoluto su significado. Por ello
necesitamos unos símbolos que, prescindiendo del significado de las proposiciones, nos indiquen la forma en
que se combinan. Estos símbolos constituyen un lenguaje formal.
En primer lugar, las proposiciones atómicas pueden ser sustituidas por lo que llamaremos variables
proposicionales, que serán las letras
p, q, r, s …
La operación consistente en sustituir las expresiones del lenguaje natural por símbolos lógicos se
llama formalización. A la proposición debidamente formalizada la llamaremos fórmula. Según lo dicho, la
formalización de la proposición atómica
Los erizos son aves
será, simplemente, la fórmula
p
Por su parte, a cada conectiva lógica le corresponde un símbolo, como queda resumido en la siguiente tabla:
Conectiva Símbolo Lenguaje natural Formalización
Conjunción A Pepe es bombero y María es camarera pAq
Diyunción V Pepe es bombero o María es camarera pVq
Implicación -> Si Pepe es bombero, entonces María es camarera p -> q
Negación ¬ Pepe no es bombero ¬p
Tipos de proposiciones
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas,
significará que el conjunto de sustituciones está bien definido y la harán verdadera o falsa.
Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas,
dependiendo de como están conformadas.
Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Proposiciones Compuestas
Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones
o términos de enlace entre oraciones componentes.
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1) Carlos Fuentes es un escritor. (Simple)
2) Sen(x) no es un número mayor que 1. (Compuesta)
3) El 14 y el 7 son factores del 42. (Simple)
4) El 14 es factor del 42 y el 7 también es factor del 42. (Compuesta)
5) El 2 o el 3 son divisores de 48. (Simple)
6) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
7) Si x es número primo, entonces x impar. (Compuesta)
8) Si x > 10, entonces 2x - 3 > 16. (Compuesta)
9) No todos los números primos son impares. (Compuesta)
Algunas aclaraciones
a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo,
operativamente se consideran distintos. Similarmente 5) y 6).
b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.
Unidad 3 Lógica
UNIDAD III LÓGICA PROPOSICIONAL
PREPOSICION
La preposición es la clase de palabra invariable que introduce el llamado sintagma
preposicional. Las preposiciones generalmente tienen la función de introducir adjuntos, y
en ocasiones también complementos obligatorios ligando el nombre o sintagma nominal
al que preceden inmediatamente con un verbo u otro nombre que las antecede. En
algunas lenguas las preposiciones pueden no encabezar un sintagma preposicional, como
en inglés, donde incluso pueden aparecer al final de la frase. Considerando las distintas
lenguas del mundo, la preposición es un tipo de adposición que se caracteriza por
aparecer típicamente al principio del constituyente sintáctico al que afecta; así por
ejemplo, la palabra equivalente que aparece detrás y no delante se llama posposición.
Tradicionalmente, la gramática del español la ha definido como la parte invariable de la
oración que une palabras denotando la relación que tienen entre sí.
DIAGRAMA DE FLUJO
El diagrama de flujo o diagrama de actividades es la representación gráfica del algoritmo o
proceso. Se utiliza en disciplinas como programación, economía, procesos industriales y
psicología cognitiva.
En Lenguaje Unificado de Modelado (UML), un diagrama de actividades representa los
flujos de trabajo paso a paso de negocio y operacionales de los componentes en un
sistema. Un diagrama de actividades muestra el flujo de control general.
En SysML el diagrama de actividades ha sido extendido para indicar flujos entre pasos que
mueven elementos físicos (e.g., gasolina) o energía (e.g., presión). Los cambios adicionales
permiten al diagrama soportar mejor flujos de comportamiento y datos continuos.
Estos diagramas utilizan símbolos con significados definidos que representan los pasos del
algoritmo, y representan el flujo de ejecución mediante flechas que conectan los puntos
de inicio y de fin de proceso.
DIAGRAMA DE VENN
Los diagramas de Venn son ilustraciones usadas en la rama de la Matemática y Lógica de
clases conocida como teoría de conjuntos. Estos diagramas se usan para mostrar
gráficamente la agrupación de cosas elementos en conjuntos, representando cada
conjunto mediante un círculo o un óvalo. La posición relativa en el plano de tales círculos
muestra la relación entre los conjuntos. Por ejemplo, si los círculos de los conjuntos A y B
se solapan, se muestra un área común a ambos conjunta que contiene todos los
elementos contenidos a la vez en A y en B. Si el círculo del conjunto A aparece dentro del
círculo de otro B, es que todos los elementos de A también están contenidos en B.
INTELIGENCIA ARTIFICIAL
En ciencias de la computación se denomina inteligencia artificial (IA) a la capacidad de
razonar de un agente no vivo.1 2 3 John McCarthy, acuñó el término en 1956, la definió:
"Es la ciencia e ingenio de hacer máquinas inteligentes, especialmente programas de
cómputo inteligentes.".4 Búsqueda del estado requerido en el conjunto de los estados
producidos por las acciones posibles. Algoritmos genéticos (análogo al proceso de
evolución de las cadenas de ADN). Redes neuronales artificiales (análogo al
funcionamiento físico del cerebro de animales y humanos). Razonamiento mediante una
lógica formal análogo al pensamiento abstracto humano. También existen distintos tipos
de percepciones y acciones, pueden ser obtenidas y producidas, respectivamente por
sensores físicos y sensores mecánicos en máquinas, pulsos eléctricos u ópticos en
computadoras, tanto como por entradas y salidas de bits de un software y su entorno
software. Varios ejemplos se encuentran en el área de control de sistemas, planificación
automática, la habilidad de responder a diagnósticos y a consultas de los consumidores,
reconocimiento de escritura, reconocimiento del habla y reconocimiento de patrones. Los
sistemas de IA actualmente son parte de la rutina en campos como economía, medicina,
ingeniería y la milicia, y se ha usado en gran variedad de aplicaciones de software, juegos
de estrategia como ajedrez de computador y otros videojuegos.