2456

Páginas: 5 (1127 palabras) Publicado: 2 de junio de 2013
Instituto Superior Tecnológico Público “Ramiro Prialé Prialé”
Área Académica de Computación e Informática
Chosica-Lima -Perú
Tema : Lógica Proposicional y Enunciado
Unidad Didáctica : Lógica y Funciones
Profesor : César Zambrano Arce
Alumno (a) : Ramírez Portocarrero Carlos Luis
Ciclo : 2013-I
Turno : I ”B” Nocturno
Fecha de entrega : Chosica, viernes, 03 de mayo de 2013Semana : 3ra Semana.


LÓGICA PROPOSICIONAL

DEFINICIÓN DE LÓGICA
Ciencia que estudia las formas y las leyes generales que rigen el pensamiento humano y científico.
Por lo que hemos visto, podríamos decir que la lógica es la disciplina filosófica que tiene un carácter formal, ya que estudia la estructura o formas de pensamiento (tales como conceptos, proposiciones, razonamientos) conel objeto de establecer razonamientos o argumentos válidos o correctamente lógicos.
Además de estudiar las estructuras que conforman el pensamiento, a la lógica le interesa descubrir las leyes y los principios que permiten conducirnos con rigor, precisión y verdad hacia el conocimiento.

LA LÓGICA PROPOSICIONAL O LÓGICA DE ORDEN CERO.-  Trata con sistemas lógicos que carecen de cuentificadores,o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signosparaconectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas,representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusión que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa.

POR EJEMPLO si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve una densa nube enel cielo, deduce que va a llover, o también de "todos los mamíferos son vertebrados" se puede concluir en "algunos mamíferos son vertebrados". Este proceso de pasar de un conjunto de premisas a la conclusión se llama inferencia o deducción.
ENUNCIADO
Un enunciado es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas, otrosen cambio, pueden ser verdaderos o falsos.
Ejemplo 1. Son enunciados:
¿Qué hora es?
¡Arriba Perú!
2 + 5 = 7
La cordillera del Cóndor es peruano
2x + 3 = 5
Proposición

Ejemplos 2: Las siguientes afirmaciones son proposiciones:
Omate es nombre de una ciudad andina.
Horacio Zeballos Gamez nació en Carúmas
1 + 1 = 3
1 + 6 = 7
El cuadrado de todo número par también es par.
Las proposicionespueden ser simples (o atómicas) y compuestas, cuando esta compuesta por varias proposiciones simples
Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
El triángulo es un polígono
1 + 7 = 5
Si Juan va al cine, entonces tiene dinero
Un triángulo es equiángulo si, y solo si es equilátero
Marcos en ingeniero o Beatriz es profesora
Enunciado abiertoEjemplo. Son enunciados abiertos:

Los enunciados que usan las palabras "él", "ella" son enunciados abiertos.
LÓGICA PROPOSICIONAL

Definición de Lógica
Ciencia que estudia las formas y las leyes generales que rigen el pensamiento humano y científico.
Por lo que hemos visto, podríamos decir que la lógica es la disciplina filosófica que tiene un carácter formal, ya que estudia la...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • 2456
  • 2004400187 2456 2013A1 COM265 Lugares Tur Sticos De Quito Tarea2

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS