Introduccion A La Logica Simbolica

2138 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
    1408 palabras | 6 páginas
  • Introducción A La Lógica De Raúl Gutierrez Saenz (Resumen)
    6114 palabras | 25 páginas
  • Elementos De Logica Simbolica
    1932 palabras | 8 páginas
  • Introducción lógica matemática
    6323 palabras | 26 páginas
  • EJERCICIOS LOGICA SIMBOLICA PARTE 1 VIRTUAL 1
    693 palabras | 3 páginas
  • Cronología de la lógica
    1748 palabras | 8 páginas
  • disertación de la logica
    1920 palabras | 8 páginas
  • Logica simbólica
    1618 palabras | 7 páginas
  • Introducción a la lógica de Copi Irving
    6766 palabras | 28 páginas
  • Logica simbolica
    2352 palabras | 10 páginas