Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Lenguaje simbolico de la logica proposicional &

No description
by

Enrique Arzave

on 28 November 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Lenguaje simbolico de la logica proposicional &

Lenguaje simbolico de la logica proposicional & Tablas de verdad
Equipo 2
Rodolfo Sepulveda
Michel Bustamante
Jorge Camacho
Bruno Lerma
Jorge Landa
Enrique Arzave

Logica proposicional
También conocida como lógica de orden cero es un sistema formal cuyos elementos representan preposiciones cuyas constantes logicas llamadas conectivas, representan operaciones sobre preposiciones capaces de formar otras proposiciones de mayor complejidad.

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.

Ejemplo:
Mañana es miércoles o mañana es jueves.
Mañana no es jueves.
Por lo tanto, mañana es miércoles.

Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa.
Conectivas logicas
Hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas en lenguaje formal.
Lenguaje simbólico
Lenguaje Simbolico
El lenguaje simbólico consiste en transmitir información por medio de símbolos u/o imágenes, apunta a mucho más al significado que el que se expresa mediante el lenguaje convencional.
Puede considerarse una forma del pensamiento humano, es decir algo que se utiliza en distintas situaciones y de muchas maneras, por ejemplo en ecuaciones matemáticas, en tablas de verdad, o de la electrónica se utiliza mucho para la elaboración de circuitos y dentro de la lógica se usa mucho dentro de las conectivas ya mencionadas que buscan sustituir el lenguaje natural por uno alternativo.
Una conectiva lógica es un
simbolo o palabra que se utiliza
para conectar dos formulas bien
formadas o sentencias de modo
que el valor de verdad de la
formula depende del valor de
verdad de las formulas
componentes.
Cada conectiva lógica se distingue de las otras
por los valores de verdad que devuelve frente a
las diferentes combinaciones de valores de
verdad que se puede recibir.
Cada conectiva lógica puede ilustrarse
mediante una tabla que despliegue
los valores de verdad.
Tabla de verdad
Una tabla de verdad o tabla de valores, es una tabla que muestra el valor de verdad de una preposicion compuesta, para cada combinación de verdad que se pueda asignar.
Estas tablas nos manifiestan todos los posibles valores que se necesiten en cualquier preposicion asi como el análisis de las mismas y donde mas se utilizan es en los circuitos electrónicos,

Por ejemplo:
El 1 permite el paso de la corriente eléctrica
El 0 corta el paso de la corriente eléctrica
Full transcript