viernes, 10 de abril de 2015

lógica proposicional

1) Que es una proposición?
:Las entidades portadoras de los valores de verdad,Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente "cierto" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).

2)que es un valor lógico?
:Las aplicaciones que puede tener son muchas pero siempre son situaciones en las que se evaluará una condición dada a VERDADERO o FALSO, y dependiendo de esta evaluación cambiará la operación a realizar.

3)que es un conector lógico?
:En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. se representa con  Y,O,NO  verdadero Y falso  falso
falso O verdadero  verdadero
NO verdadero  falso

conjunción:  En razonamiento formal, una conjunción lógica (  \and  o Y ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la conjunción lógica.

disyunción: En razonamiento formal, una disyunción lógica (  \or  o O ) (en especifico, una disyunción inclusiva) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos dónde se utiliza la disyunción lógica.

negación: En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.

4)cuales son las tablas de verdad para:

una proposición:













dos preposiciones:










tres preposiciones:


No hay comentarios:

Publicar un comentario