Lógica básica para la verdad y la falsedad LBVF