informele logica