Introduccion A La Logica Simbolica

2147 palabras 9 páginas
Tema Nº 7: LÓGICA SIMBÓLICA

7.1. INTRODUCCIÓN
7.1.1. Definición. ¿Qué es la lógica simbólica?
La lógica formal es la disciplina filosófica que estudia las estructuras formales del pensamiento y las relaciones que tales estructuras presentan.

La lógica simbólica es una parte de la lógica formal que emplea un lenguaje formailzado en el razonamiento deductivo y diversas variedades de cálculo.

La lógica simbólica ha recibido diversos nombres; nombres tales como “algebra lógica”, “logística”, “lógica matemática”, “lógica pasigráfica”, “lógica ideográfica”, etc. en el siglo pasado; hoy, tales denominaciones están en desuso. La misma denominación de “lógica simbólica” tiende a ser reemplazada por la de “lógica formal” o simplemente
…ver más…

Cuando se combinan las simples dan lugar a las proposiciones compuestas, se combinan mediante conectivas.

7.2.2. Las conectivas

Las conectivas son conceptos de relación que sirven para formalizar proposiciones compuestas. Son conceptos tales como “y”, “o”, “incompatible con”, etc. Estos conceptos son representados mediante símbolos especiales, del siguiente modo:

SÍMBOLO | SE LEE | NOMBRE | ~·VV→↔↓⁄ | noyo…o amboso…o pero no ambossi, entoncessi y sólo sini…niincompatible con | negaciónconjuncióndisyunción incluyentedisyunción excluyentecondicionalbicondicionalnegación conjuntaincompatibilidad o negación alternada |

APLICACIÓN | SE LEE | ~ pp . qp v qp v qp → qp↔qp↓qp ⁄ q | no p o no es el caso que pp y qp o q o ambosp o q pero no ambossi p, entonces qp si y sólo si qni p ni qp es incompatible con q |

Ejemplos de proposiciones compuestas:
~ p . ~ q la tiza no es blanca y el cuaderno no está sobre la mesa. r v s o Juan es perezoso o es inteligente t v p o estudias o vas al cine q → p si llueve, hace frio

7.2.3. Los esquemas proposicionales

Varias proposiciones compuestas unidas entre sí por conectivas dan lugar a esquemas proposicionales. En estos casos se hace uso de paréntesis para

Documentos relacionados

  • Introduccion A La Logica Simbolica
    2138 palabras | 9 páginas
  • Instrucciones Básicas Plc
    3355 palabras | 14 páginas
  • Programacion
    3184 palabras | 13 páginas
  • Resumen Introduccion Tractatus Logico-Philosophicus
    2381 palabras | 10 páginas
  • Pensamiento Matematico
    2943 palabras | 12 páginas
  • Cronología de la lógica
    1748 palabras | 8 páginas
  • Lenguaje Y Metalenguaje
    1275 palabras | 6 páginas
  • Informe Logica Matematica
    3008 palabras | 13 páginas
  • Odontologia
    842 palabras | 4 páginas
  • ejercicios lógica matematicas
    1725 palabras | 7 páginas