Lógica simbólica
Enviado por Uriel CG • 4 de Julio de 2020 • Informe • 512 Palabras (3 Páginas) • 118 Visitas
[pic 1]
Romero García Demian
[pic 2][pic 3]
[pic 4]
Lógica simbólica
La lógica simbólica transforma las expresiones afirmativas (ya sean falsas o ciertas) mediante la aplicación de reglas de operación exactas y explícitas. Esto permite operar en la lógica como un cálculo utilizando la simbolización, técnica que omite los operadores lógicos por por símbolos; estos operadores lógicos sirven como conectivos entre los enunciados Moleculares o compuestos (Enunciado compuesto por enunciados simples o atómicos los cuales tienen entre cada uno operadores lógicos) conformados por proposiciones Atómicas o simples (Enunciados afirmativos los cuales no pueden fragmentarse en otro más simples).
Un dato importante al momento de trabajar con proposiciones Moleculares o compuestas es tener en cuenta la importancia que tienen las conectivas u operadores lógicos, ya que cambiando solo estas se le puede dar un diferente significado.
Para simbolizar proposiciones Atómicas se utilizan literales las cuales van desde la “p” hasta la “z ocupando una diferente para cada proposición, en caso de existir proposiciones repetidas se utiliza la misma literal.
Para simbolizar proposiciones moleculares o compuestas utilizamos conjuntos de literales, conectivos u operadores lógicos y signos de agrupación como paréntesis, corchetes y llaves, los cuales nos ayudan a evitar confusión entre las expresiones y nos permite localizar más rápido la proposición.
Jerarquía de las Conectivas:[pic 5]
1 2 3 V V 4 5[pic 6][pic 7][pic 8][pic 9]
EJEMPLOS
Proposición | Simbolización | ||
Todos los maestros de lógica son inteligentes (Es una oración Atómica ya que solo tiene un sujeto y un predicado siendo imposible descomponerlo en mas partes) | P | ||
La lógica es una ciencia y una disciplina (Es una oración Molecular pues se puede descomponer en 2 proposiciones Atómicas; A) La lógica es una ciencia B) La lógica es una disciplina | P ^ P | ||
No es cierto que los maestros de filosofía no saben hacer tablas de verdad (Es una oración Atómica ya que solo tiene un sujeto y un predicado siendo imposible descomponerlo en más partes) A) Los maestros de filosofía saben hacer tablas de verdad | ~ ( ~ r ) | ||
Pasaremos lógica si y solo si estudiamos y nos preparamos para el examen (Es una oración Molecular pues se puede descomponer en 3 proposiciones Atómicas; A) Nosotros pasaremos lógica B) Nosotros estudiamos C) Nosotros nos prepararemos para el examen | ( p q ) ^ r[pic 10] | ||
Si se tablas de verdad, entonces sabre silogismos (Es una oración Molecular pues se puede descomponer en 2 proposiciones Atómicas; A) Yo se tablas de verdad B) Yo se silogismos | S T[pic 11] | ||
Operador Lógico | Símbolo | Significado | Ejemplo |
Conjunción | ^ | y , e | Llueve y relampaguea |
Disyunción inclusiva | v | o , u | Estaba triste o preocupado Estaba enfocado u obstinado |
Disyunción exclusiva | v[pic 12] | o … o | Iremos al parque o a casa |
Condicional | [pic 13] | Si … Entonces | Si llueve entonces habrá cosecha |
Bicondicional | [pic 14] | Si y solo si | Habrá cosecha si y solo si llueve |
Negación | [pic 15][pic 16] | No , Nunca , No hay | No llueve |
[pic 17]
...