calculo proposicional

Download Calculo proposicional

If you can't read please download the document

Post on 20-Jan-2017

201 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

  • Calculo ProposicionalTorrivilla Joselyn C.I: 20.046.401SAIA A

  • ProposicionesUna proposicin es un juicio declarativo del cual tiene sentido decir que es verdadero (V) o que es falso (F), pero no ambas cosas simultneamente. Ejemplo:2+5=8 (F)Algunos estudiantes son universitarios (V)El hidrgeno es un gas (V)

  • Operaciones VeritativasUn conjunto de conectivos que se usan con la operacin de cada uno de ellos formen nuevas proposiciones.

    NOMBRESIMBOLOTRADUCCINNegacin No, no es el caso queConjuncin yDisyuncin Inclusiva ODisyuncin Exclusiva o oCondicionalSi, entoncesBicondicionalSi y solo si

  • Tautologas y ContradiccionesUna tautologa es una forma proposicional que es verdadera para cualquier valor lgico que se le asigne a sus variables proposicionales. Una contradiccin es una proposicional que es falsa para cualquier valor lgico que se le asigne a sus variables proposicionales.

  • Algebra de Proposiciones

  • Circuitos Lgicos Los podemos identificar con una forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Adems, usando las leyes del lgebra proposicional podemos simplificar los circuitos en otros ms sencillos, pero que cumplen la misma funcin que el original.

  • Conexiones