Logico

Solo disponible en BuenasTareas
  • Páginas : 6 (1283 palabras )
  • Descarga(s) : 0
  • Publicado : 31 de agosto de 2012
Leer documento completo
Vista previa del texto
Proposiciones lógicas
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.
 
A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letraminúscula, dos puntos y la proposición propiamente dicha. Ejemplo.
 
p:         La tierra es plana.
q:         -17 + 38 = 21
r:          x > y-9
s:         El Morelia será campeón en la presente temporada de Fut-Bol.
t:          Hola ¿como estas?
w:         Lava el coche por favor.
 
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposicionesvalidas. El  inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son válidos, ya que no puedentomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verda.
a)proposiciones simples:Es una oración bimembre solo puede tenersujeto o predicado .
EJM:Marta cosina sabroso.
 
b)proposiciones compuestas:Es la unión de dos o mas proposiciones simples .
 
EJM:La señora y su hijavan al mercado pero se olvidaron su bolso entonces yuvieron que comprar otro

http://www.monografias.com/trabajos4/logica/logica.shtml
operaciones lógicas
Una operación lógica asigna un valor (CIERTO o FALSO) a la combinación de condiciones (CIERTO o FALSO) de uno o más factores. Los factores que intervienen en una operación lógica sólo pueden ser ciertos o falsos. Y el resultado de unaoperación lógica puede ser, tan sólo, cierto o falso.
Por ejemplo, imagínate el sistema de control del toldo de una cafetería, que se gobierna mediante una operación lógica. Para que el motor que extiende el toldo se accione deberá tener en cuenta dos factores: ¿es de día? ¿está lloviendo? Si estos dos factores son ciertos, el motor debe ponerse en marcha y extender el toldo.

De dia | Llueve |Toldo |
Falso | Falso | Falso |
Falso | Cierto | Falso |
Cierto | Falso | Falso |
Cierto | Cierto | Cierto |

Los resultados de una operación lógica, para cada uno de los valores posibles de las variables, se fijan en una tabla denominada Tabla de Verdad, como la del ejemplo anterior.
Para que un procesador pueda ejecutar las operaciones lógicas, es preciso asignar un valor binario a cadauna de las condiciones posibles. Se suele asignar un UNO (1) al valor CIERTO y un CERO (0) al valor FALSO, con el criterio denominado lógica positiva.
Las operaciones lógicas más importantes son: EQUAL (idéntico), NOT (negación), OR (O), AND (Y), NOR (O negada), NAND (Y negada), OREX (O exclusiva) y NOREX (O exclusiva negada). 

http://platea.pntic.mec.es/~lgonzale/tic/binarios/logica.htmltablas de verdad
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos,Ø, Ù, Ú, ®, «,como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, lastablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema.
Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.
Negación: El valor de verdad de la negación es el contrario de la proposición negada.
P | Ø P |
1 | 0 |
0 | 1 |

 
Disyunción: La disyunción solamente es falsa...
tracking img