Lógica

145 visualizaciones

Publicado el

0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
145
En SlideShare
0
De insertados
0
Número de insertados
1
Acciones
Compartido
0
Descargas
1
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

Lógica

  1. 1. La lógica proposicional o lógica de orden cerotrata con sistemas lógicos que carecen decuantificadores, o variables interpretablescomo entidades. En lógica proposicional si bienno hay signos para variables de tipo entidad, síexisten signos para variables proposicionales(es decir, que pueden ser interpretadas comoproposiciones con un valor de verdad dedefinido), de ahí el nombre proposicional. Lalógica proposicional incluye además devariables interpretables como proposicionessimples signos para conectivas lógicas, por loque dentro de este tipo de lógica puedeanalizarse la inferencia lógica de proposicionesa partir de proposiciones, pero sin tener encuenta la estructura interna de lasproposiciones más simples.1

×