Logica

Páginas: 4 (880 palabras) Publicado: 27 de marzo de 2014
Apuntes de logica - Introduccion.xls

Manejaremos en este tema seis conectivas o partículas lógicas. Veámoslas:

En lógica de enunciados hay muchas conectivas u operadores lógicos. Usualmente setrabaja con la:
Conjunción: Λ
Se simboliza Λ y se lee “y”.
En el lenguaje natural suele aparecer como “y”, “pero”, “sin embargo”.
Disyunción inclusiva: V
Por ejemplo, en el enunciado “Como carneo elijo pescado”.
Se simboliza V y se lee “o”.
En el lenguaje natural suele ser la conjunción disyuntiva “o”, “bien… bien” (bien como carne, bien elijo pescado”).

1 de 6

Apuntes de logica -Introduccion.xls
Condicional: →
Por ejemplo, en el enunciado: “Si estudias a fondo, entonces aprobarás filosofía”.
Se simboliza → , y se lee “si… entonces”.
En el lenguaje natural: “porconsiguiente”, “en consecuencia”, y expresiones equivalentes.
Bicondicional: ↔
Por ejemplo, en el enunciado “La radio funciona si y solo si tiene pilas”.
Se simboliza ↔ y se lee “si y sólo si”.
En lenguajenatural, además, puede aparecer como “solamente si”, y expresiones equivalentes.
Negación: ¬
Por ejemplo, en el enunciado “No estoy cansado”.
Se simboliza ¬ y se lee “no”, “no es verdad que”.
Parahacer un ejercicio de lógica formal hay que seguir estrictamente estos pasos.
Primero, hay que pasar a lenguaje lógico los enunciados, escogiendo a tu antojo una letra del abecedario y, lo másimportante,
procurando que una misma letra siempre se corresponda con el mismo enunciado. O dicho de otro modo. A distinto enunciado, distinta letra:
“Iré esta noche al cine” = a
“Mañana me levantaré alas ocho a estudiar Filosofía” = b

2 de 6

Apuntes de logica - Introduccion.xls
Ahora, tomemos otro ejemplo. Imaginemos que tenemos el enunciado "Llueve". Lo designaremos mediante la letra "p".Así pues, sustituimos y
representamos el enunciado "Llueve" por la letra de enunciado “p”. Haremos siempre lo mismo al encontrarnos con otra proposición diferente.
Por eso, al enunciado "Jugar a...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS