Logica en informatica..

[Edu]

Hace unos dias aprendimos Logica en Filosofia, eso de las premisas y conectores con valores de Verdadero (V) y Falso (F) para llegar a si la conclusion es valida o no.
El profesor dijo que la Logica se usa mucho en informatica, y eso es mas que verdad pero quiero saber si lo que deducí yo será así.
Yo digo que cuando tenemos un ejercicio que es:

Si estudia mucho entonces aprueba el examen.

          P                       >                  Q

          v                      v                     v
          f                       v                     v
          v                      f                      f
          f                       v                     f

El resultado es el del medio, yo eso digo que en programacion es un condicional IF, puede que los V y F sean valores de 1 o 0 , es decir codigo binario? y que se maneje asi la pc?

Los que no han aprendido o no se acuerdan de estos ejercicios no creo que me entiendan, porque en otros ejercicios mas dificiles me parece mas a programacion aun, pero me intriga saber si eso de 1 o 0 sera asi.

[leogtz]

Así es, se le llama cálculo proposicional, y un verdadero corresponde a un 1 lógico, y un falso a un 0 lógico.

[Edu]

Ahi va!, gracias leo!