Ambiguedad en la expresión y/o

-
La mezcla "y/o" no es mas que una manera de escribir "o", y asi lo demostrare:
( p \/ q ) \/ ( p /\ q )
p \/ ( q \/ ( p /\ q )) Asociativad de la conjuncion
p \/ ( ( q \/ p ) /\ ( q \/ q ) ) Distributividad de la conjuncion
( p \/ q \/ p )  /\ ( p \/ q \/ q ) Distributividad de la conjuncion
( p \/ q )  /\ ( p \/ q ) Idempotencias
p \/ ( q /\ q)  Distributividad de la conjuncion
p \/ q dominacion
Por lo tanto ya teneis una razon para no escribir "y/o" :p

Comments

Post a Comment

Popular posts from this blog

Rename refactor in VIM

-
Image
Rename refactor using VIM O ne of the most useful features when it comes to refactor is the ability to change a variable/class/namespace name through all or a subset of the files in your project.  VIM does not have any direct way of doing this, which is really very upsetting if you want to use VIM as your main IDE . But there are solutions… TL;DR :set hidden :argadd “Your files” :argdo silent! %s/old_variable_name/new_variable_name/ge :argdo update Argument list in VIM The argument list feature is the way that VIM gives you to manipulate and group multiples files at once. You can visualize it as the next set of files that you will work with. Using this argument list for renaming words start to make sense since you want to apply an action (renaming) among multiple files (Argument list). In this article I will expose how to achieve rename refactor using the commands  argdo, argadd, and args. Lets first see what each of those command does argadd [file]  : Adds the file to
Read more

Saber la temperatura de tu pc

-
Para empezar, explicaros que este manual esta en principio hecho para gnome, asi que si utilizais otros entornos graficos , no os funcionara. En primer lugar os debeis de hacer con el programa sensors, para eso escribiremos en la consola: $ sudo apt-get install lm-sensors o bien buscamos en synaptic 'lm-sensors' Este programa solo es de uso para la consola , y siempre podreis utilizarlo, escribiendo sensors en la consola. pero si lo que quereis es tener en vuestro escritorio la informacion de vuestra temperatura tendreis que instalaros sensors-applet, para el cual teneis que escribir en la consola: $ sudo apt-get install sensors-applet o bien buscamos en synaptic 'sensors-applet' Este programa es especialmente util cuando manejais un servidor y quereis saber su temperatura de manera remota, la cual podeis verla mediante ssh.
Read more