Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional y operaciones lógicas (Conectivos (¬ Negación, ^…
Lógica proposicional y operaciones lógicas
¿Qué es la lógica?
La lógica se ocupa en general de muchos ámbitos, pero a nivel general, pretende que en este caso, el ordenador sea capaz de realizar cualquier tipo de razonamientos efectuados por el hombre, por lo que es necesario definir y analizar dichos razonamientos en otras palabras se trata de formalizar los razonamientos.
¿Qué son las proposiciones?
Es toda afirmación u oración declarativa que expresa algo sobre lo que se pueda decir si es verdadero o falso.
¿Como se construyen las proposiciones?
Proposiciones simples: Cuando no usa conectores lógicos o términos de enlace (y, o, no, si... entonces..., si y sólo si)
Proposiciones compuestas: Cuando se juntan varias proposiciones simples con conectores lógicos o términos de enlace.
Conectivos
¬ Negación
^ Conjunción
V Disyunción ("o" inclusivo)
-> Implicación
<-> Doble implicación
Creación de tablas: Las tablas se rigen po: n es el número de proposiciones 2n es el número de filas posibles.
Tautología: Es cuando toda proposición simple o compuesta da siempre como resultado VERDADERO. Ejemplo: [ ( (~p) V q ) ^ ~ q] -> ~p
Contradicción: Es cuando toda proposición simple o compuesta da siempre como resultado FALSO.
Ejemplo: la proposición [ ( p ^ q ) V q ] ^ ~ q
Contingencia: Es cuando toda proposición simple o compuesta da como resultado al menos VERDADERO y un FALSO. Ejemplo: [ ( p ^ q ) V (~ p) ]
